@ -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 .