Update build.yml

TheoWinterhalter · May 24, 2024 · 213587a · 213587a
1 parent 096399d
commit 213587a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -58,18 +58,18 @@ jobs:
         with:
           args: >-  # allows you to break string into multiple lines
             --standalone
-            --output=docs/index.html
+            --output=doc/index.html
             --css=coqdoc/resources/github-pandoc.css
             --metadata title="LogRel Overview"
-            docs/index.md
+            doc/index.md
       - name: Setup Pages
         if: github.ref_name == github.event.repository.default_branch
         uses: actions/configure-pages@v3
       - name: Upload artifact
         if: github.ref_name == github.event.repository.default_branch
         uses: actions/upload-pages-artifact@v1
         with:
-          path: 'docs'
+          path: 'doc'
       - name: Deploy to GitHub Pages
         if: github.ref_name == github.event.repository.default_branch
         id: deployment