diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index e28a31d..3ad56f6 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -40,6 +40,6 @@ jobs: make dev-install make doc - git add docs + git add -f docs git commit -m "Re-generated documentation" git push origin gh-pages