Merge pull request #93 from xylar/fix-docs-action

Fix docs action again

Author: xylar

Diff for: .github/workflows/docs_workflow.yml

@@ -63,7 +63,7 @@ jobs:
           rm -rf gh-pages/${{ github.ref_name }}
 
           # don't clobber existing release versions (in case we retroactively fixed them)
-          cp -r -n _build/html/${{ github.ref_name }} gh-pages/
+          cp -r _build/html/${{ github.ref_name }} gh-pages/
 
           mkdir -p gh-pages/shared
           cp shared/version-switcher.js gh-pages/shared/version-switcher.js

Diff for: docs/generate_versions_json.py

@@ -13,23 +13,23 @@
 )
 args = parser.parse_args()
 local = args.local
-output_dir = '_build/html/shared'
-version_dir = '_build/html' if local else 'gh-pages'
+base_dir = '_build/html' if local else 'gh-pages'
+shared_dir = os.path.join(base_dir, 'shared')
 
 entries = []
 
-versions = sorted(os.listdir(version_dir))
+versions = sorted(os.listdir(base_dir))
 if 'main' in versions:
     versions.insert(0, versions.pop(versions.index('main')))
 
 for name in versions:
-    path = os.path.join(version_dir, name)
+    path = os.path.join(base_dir, name)
     if os.path.isdir(path) and name not in ('shared',):
         entries.append({
             'version': name,
             'url': f'../{name}/' if local else f'/{name}/'
         })
 
-os.makedirs(output_dir, exist_ok=True)
-with open(os.path.join(output_dir, 'versions.json'), 'w') as f:
+os.makedirs(shared_dir, exist_ok=True)
+with open(os.path.join(shared_dir, 'versions.json'), 'w') as f:
     json.dump(entries, f, indent=2)