Skip to content

Commit

Permalink
Looking for another way to copy Julia documentation.
Browse files Browse the repository at this point in the history
  • Loading branch information
isazi committed May 8, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
1 parent 3473893 commit b197cb0
Showing 2 changed files with 2 additions and 3 deletions.
3 changes: 2 additions & 1 deletion .github/workflows/documentation.yml
Original file line number Diff line number Diff line change
@@ -44,11 +44,12 @@ jobs:
Pkg.instantiate()
'
julia --project=docs docs/make.jl
cp -R docs/build ../docs/api_julia
- name: Build and commit
uses: sphinx-notes/pages@v2
with:
documentation_path: './docs'
- name: Copy Julia to documentation output
run: cp CompasToolkit.jl/docs/build /tmp/sphinxnotes-pages/api_julia
- name: Push documentation
uses: ad-m/github-push-action@master
with:
2 changes: 0 additions & 2 deletions docs/conf.py
Original file line number Diff line number Diff line change
@@ -80,8 +80,6 @@
# relative to this directory. They are copied after the builtin static files,
# so a file named "default.css" will overwrite the builtin "default.css".
html_static_path = ["_static"]
# Copy the Julia documentation
html_extra_path = ["api_julia"]


# -- Breathe configuration -------------------------------------------------

0 comments on commit b197cb0

Please sign in to comment.