diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 240dc56..aec4495 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -38,7 +38,7 @@ jobs: make clean make html rm -r ../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 .