Set docs-folder to just "doc".

ESCOMP · Apr 29, 2024 · 8b8657d · 8b8657d
1 parent 4f362e0
commit 8b8657d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/pr-docs-check.yml b/.github/workflows/pr-docs-check.yml
@@ -11,6 +11,6 @@ jobs:
     - uses: actions/checkout@v1
     - uses: ammaraskar/sphinx-action@master
       with:
-        docs-folder: "doc/source"
+        docs-folder: "doc"
         pre-build-command: "make fetch-images"
         build-command: "make html"