Fix doc generation workflow

mhatzl · Oct 21, 2021 · ef0e93d · ef0e93d
1 parent 3a23265
commit ef0e93d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/generate_doc.yml b/.github/workflows/generate_doc.yml
@@ -37,7 +37,7 @@ jobs:
         run: |
           git config user.name github-actions
           git config user.email [email protected]
-          mv -v obj/gnatdoc docs
+          mv -v obj/gnatdoc/* docs/
           git add docs
           git commit -m "Generated documentation"
-          git push origin main:doc
+          git push --force origin main:doc