Change build-command from "make html" to "make".

samsrabin · Apr 29, 2024 · da177a8 · da177a8
1 parent 9acd01b
commit da177a8
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
@@ -13,4 +13,4 @@ jobs:
       with:
         docs-folder: "doc"
         pre-build-command: "make fetch-images"
-        build-command: "make html"
+        build-command: "make"