diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml index 60c5067..025efbb 100644 --- a/.github/workflows/build_doc.yml +++ b/.github/workflows/build_doc.yml @@ -42,7 +42,7 @@ jobs: git fetch origin gh-pages git checkout gh-pages git rm -r dev/* - cp -r doc/_build/html/* dev + cp -r doc/build/html/* dev git add dev # If the doc is up to date, the script shouldn't fail, hence --allow-empty # Might be a cleaner way to check