From 66d4a9399d911ddaf378b976c2c182b5bb716c7c Mon Sep 17 00:00:00 2001
From: philipMartini <45294280+philipMartini@users.noreply.github.com>
Date: Wed, 3 Mar 2021 18:34:32 +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 aec4495..a7b44ae 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -37,7 +37,7 @@ jobs:
         cd ./docs-out
         make clean
         make html
-        rm -r ../docs/*
+        rm -rf ../docs/*
         cp -R _build/html/* ../docs
         git config --local user.email "f.martini@campus.unimib.it"
         git config --local user.name "philipMartini"