diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index 501d6bf..47de88b 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -46,7 +46,7 @@ jobs:
           git rm -r dev/*
           echo ${CWD}
           echo $(ls)
-          cp -r doc/build/html/* dev/
+          cp -r doc/build/html/* dev
           git add dev
           # If the doc is up to date, the script shouldn't fail, hence --allow-empty
           # Might be a cleaner way to check