Merge pull request #7 from GarethCabournDavies/docs_releases

Better naming of the docs folders
GarethCabournDavies · Jul 24, 2024 · ad81a51 · ad81a51
2 parents 72c6ad5 + 9ec2e13
commit ad81a51
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/basic-tests.yml b/.github/workflows/basic-tests.yml
@@ -66,8 +66,8 @@ jobs:
         name: documentation-page
     - name: debug
       run: |
-        if [ github.event_name == 'release']; then ENV_PAGE=${GITHUB_REF#refs/tags/}; else ENV_PAGE=current; fi
-        mkdir -p _gh-pages/$ENV_PAGE
+        if [ github.event_name == 'release']; then ENV_PAGE=${GITHUB_REF#refs/tags/}; else ENV_PAGE=latest; fi
+        mkdir _gh-pages
         mv latest _gh-pages/$ENV_PAGE
     - name: deploying $page to gh-pages
       uses: JamesIves/[email protected]