docs: debug fetching tags

vpratz · Dec 17, 2024 · e70065d · e70065d
1 parent aa46c1b
commit e70065d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -41,12 +41,12 @@ jobs:
       - name: Create local branches
         run: |
           cd ./dev
-          git fetch --tags
           git branch master remotes/origin/master
+          git git fetch --prune --unshallow --tags
+          git tag
       - name: Make the Sphinx docs
         run: |
           cd ./dev/docsrc
-          make clean
           make github
       - name: Commit changes to docs
         run: |

diff --git a/docsrc/Makefile b/docsrc/Makefile
@@ -25,7 +25,7 @@ dev:
 	@cp .nojekyll ../docs/.nojekyll
 
 github:
-	@sphinx-polyversion -vv poly.py
+	@sphinx-polyversion -vvv poly.py
 	@echo 'Copying docs to ../docs'
 	@cp -a _build_polyversion/. ../docs
 	@cp .nojekyll ../docs/.nojekyll