From c1604424aad3116c435bfb08c12f92447e140f6b Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Tue, 8 Oct 2024 08:11:35 +1300
Subject: [PATCH] ci: Call make html directly
Since `docs/prep` is a prerequisite of `docs`, and should be the *only* prerequisite, calling `make docs` could end up hiding a problem with files missing from the uploaded artifact. Instead, call `make` from the docs directory which should be closer to what will run on RTDs.
---
.github/workflows/prepare-docs.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/prepare-docs.yml b/.github/workflows/prepare-docs.yml
index 6d3f4ecea..e0388c7a3 100644
--- a/.github/workflows/prepare-docs.yml
+++ b/.github/workflows/prepare-docs.yml
@@ -67,7 +67,7 @@ jobs:
- name: Test build docs
shell: bash
run: |
- make docs -j${{ env.procs }} TARGETS= EXTRA_TARGETS=
+ make -C docs html -j${{ env.procs }} TARGETS= EXTRA_TARGETS=
- name: Trigger RTDs build
if: ${{ needs.check_docs_rebuild.outputs.docs_export == 'true' }}