diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index bb8e86ff..0fc2adb2 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -27,3 +27,4 @@ jobs: with: pre-build-command: "apt-get install -y pandoc" docs-folder: "docs/" + build-command: "sphinx-build -M html "source" "build" -W" diff --git a/docs/Makefile b/docs/Makefile index 9bb4ba0b..a799adeb 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -17,4 +17,5 @@ help: # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). %: Makefile + echo @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)