Run update_versions.sh when publishing new docs.

Relates to #27.
4 years ago · e0e560760c
parent b846f6ce19
commit e0e560760c
1 changed files with 6 additions and 2 deletions
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@ -118,8 +118,10 @@ jobs:
        run: |
          rm -rf main
          mkdir main
-          cd main
+          pushd main
          tar -xvjf /tmp/doc.tbz2
+          popd
+          ./update_versions.sh
          git config user.name github-actions
          git config user.email github-actions@github.com
          git add .
@ -134,8 +136,10 @@ jobs:
          mkdir -p ${RELEASE}
          rm -f latest
          ln -s ${RELEASE} latest
-          cd ${RELEASE}
+          pushd ${RELEASE}
          tar -xvjf /tmp/doc.tbz2
+          popd
+          ./update_versions.sh
          git config user.name github-actions
          git config user.email github-actions@github.com
          git add . ../latest