From 56846a4ed49de84cc1c9c254ef55942d9ca46b13 Mon Sep 17 00:00:00 2001
From: Ignacio G <garcia.nunez@tum.de>
Date: Mon, 16 Oct 2023 20:18:15 +0200
Subject: [PATCH] Fix documentation workflow site setup

---
 .github/workflows/docs.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 253faed637f0..648be63e90c0 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -75,5 +75,5 @@ jobs:
           proxy_key: ${{ secrets.PROXY_KEY }}
           proxy_port: ${{ secrets.PROXY_PORT }}
           script: |
-              sudo rm -rf ${{ secrets.DOCS_WWW }}/*
-              sudo mv -f public/* ${{ secrets.DOCS_WWW }}/
+              rm -rf ${{ secrets.DOCS_WWW }}/*
+              mv -f public/* ${{ secrets.DOCS_WWW }}/