diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index d6b7257..1ad9370 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -38,7 +38,7 @@ jobs: make clean make html rm -rf ../docs/* - cp -r _build/html/* ../docs/ + cp _build/html/index.html ../docs/ git config --local user.email "f.martini@campus.unimib.it" git config --local user.name "philipMartini" git add .