diff --git a/.github/workflows/publish_docs_to_pages.yml b/.github/workflows/publish_docs_to_pages.yml
index cea91ac..5eb67ae 100644
--- a/.github/workflows/publish_docs_to_pages.yml
+++ b/.github/workflows/publish_docs_to_pages.yml
@@ -44,7 +44,7 @@ jobs:
         cd ..
         echo "Committing emptied dev directory"
         git commit -m "Remove old dev documentation"
-        mkdir dev
+        mkdir -p dev
         cd dev
         echo "Copying /tmp/html here"
         cp -v -r /tmp/html/* .