From 7e6504f3ff3f4b10e4a8545790a2cfd32cb17fab Mon Sep 17 00:00:00 2001
From: philipMartini <45294280+philipMartini@users.noreply.github.com>
Date: Wed, 3 Mar 2021 18:40:07 +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 a7b44ae..e0c0851 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 .