Modify workflow

Author: brokenfloppydisk

.github/workflows/build_docs.yml

@@ -24,11 +24,14 @@ jobs:
       - name: Create .nojekyll
         run: |
           touch ../_build/.nojekyll
-      - name: Commit and push changes
+      - name: Copy build files to gh-pages branch
         run: |
           git fetch origin
           git checkout -b gh-pages origin/gh-pages
-          cp -r ../_build ./
+          git rm -rf *
+          cp -r ../_build/* ./
+      - name: Commit and push changes
+        run: |
           git config --global user.name "CAMS SDD"
           git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
           git add ./.