Skip to content

Commit

Permalink
Merge pull request #182 from aragilar/fix-sphinx
Browse files Browse the repository at this point in the history
Point the generated index file to the right path
  • Loading branch information
aragilar authored Jul 14, 2024
2 parents 6b90eed + 1009807 commit 5b12c37
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion apidocs/upload_api_docs.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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]
Expand Down

0 comments on commit 5b12c37

Please sign in to comment.