From f932afbdcf8fc5c17bb08cafc3b2eb5849f7c20b Mon Sep 17 00:00:00 2001 From: lmoretti96 <51789626+lmoretti96@users.noreply.github.com> Date: Wed, 3 Mar 2021 18:43:21 +0100 Subject: [PATCH] Update main.yml --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 .