From 8b8657de3767607159f2efaa19fed1a4b9fe14c9 Mon Sep 17 00:00:00 2001 From: Sam Rabin Date: Mon, 29 Apr 2024 14:57:18 -0600 Subject: [PATCH] Set docs-folder to just "doc". --- .github/workflows/pr-docs-check.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/pr-docs-check.yml b/.github/workflows/pr-docs-check.yml index 2da0cddd27..b5a7390930 100644 --- 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"