Point the generated index file to the right path

dev was from doctr, which has been broken for a while.
bmcage · Jul 14, 2024 · 1009807 · 1009807
1 parent 097f887
commit 1009807
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/apidocs/upload_api_docs.sh b/apidocs/upload_api_docs.sh
@@ -11,7 +11,7 @@ if [ "true" = "$UPLOAD_SCIKITS_ODES_API_DOCS" ]; then
     rsync -av --delete "$API_DOCS_OUT_DIR"/* "./gh-pages/$branch_name/"
     # Run docs-versions-menu
     cd gh-pages
-    docs-versions-menu
+    docs-versions-menu --latest master --default-branch master
     # Commit and push
     git config user.name github-actions
     git config user.email [email protected]