Skip to content

Commit 66e0e09

Browse files
committed
Fix docs build: use build_docs.sh instead of Makefile (gitignored)
1 parent c377ae6 commit 66e0e09

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

.github/workflows/build-docs.yml

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -57,9 +57,8 @@ jobs:
5757
- name: Build documentation (Doxygen + Sphinx)
5858
working-directory: docs
5959
run: |
60-
# The Makefile's html target runs doxygen first, then sphinx
61-
make html SPHINXOPTS="-W --keep-going" || make html
62-
# Second attempt without -W if warnings cause failure
60+
# Use build_docs.sh since Makefile is gitignored
61+
./build_docs.sh
6362
6463
- name: Upload documentation artifact
6564
uses: actions/upload-artifact@v4

0 commit comments

Comments
 (0)