Fix doc path

.github/workflows/build_doc.yml

@@ -42,7 +42,7 @@ jobs:
           git fetch origin gh-pages
           git checkout gh-pages
           git rm -r dev/*
-          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