diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index e0c0851..d6b7257 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 -r _build/html/* ../docs/ git config --local user.email "f.martini@campus.unimib.it" git config --local user.name "philipMartini" git add .