Merge pull request #57 from italia/publish-on-tags

Build pages on tags
italia · Jul 10, 2023 · e5a6d5e · e5a6d5e
2 parents 86ac46e + 72864a1
commit e5a6d5e
Showing 1 changed file with 5 additions and 11 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -4,6 +4,7 @@ name: gh-pages
 
 on:
   push:
+    tags: [ "*" ]
     branches: ["versione-corrente"]
     paths-ignore:
       - README.md
@@ -44,17 +45,10 @@ jobs:
 
       - name: Build branch
         run: |-
-          sphinx-build -b html docs/it/  html/${GITHUB_HEAD_REF}/it
-          sphinx-build -b html docs/en/  html/${GITHUB_HEAD_REF}/en
-
-      - name: Install deps
-        run: |-
-            python -m pip install -r requirements-dev.txt
-
-      - name: Build branch
-        run: |-
-          sphinx-build -b html docs/it/ html/${GITHUB_HEAD_REF}/it
-          sphinx-build -b html docs/en/ html/${GITHUB_HEAD_REF}/en
+          [[ "$GITHUB_REF" != "versione_corrente" ]] && P="${GITHUB_REF}/" || P="" # note the trailing slash
+          echo "Publish on $P sub path"
+          sphinx-build -b html docs/it/  html/$Pit
+          sphinx-build -b html docs/en/  html/$Pen
 
       # Runs a single command using the runners shell
       - name: Create GH page index