From b197cb04f26a5172aad1cf392e1dc6dacf663a53 Mon Sep 17 00:00:00 2001 From: Alessio Sclocco Date: Wed, 8 May 2024 15:36:59 +0200 Subject: [PATCH] Looking for another way to copy Julia documentation. --- .github/workflows/documentation.yml | 3 ++- docs/conf.py | 2 -- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index 87a2619..24123ed 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -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: diff --git a/docs/conf.py b/docs/conf.py index 9de82c7..068ec29 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -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 -------------------------------------------------