diff options
| -rw-r--r-- | .github/workflows/docs.yml | 2 | ||||
| -rw-r--r-- | docs/Makefile | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 462872d..c9f4df9 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -35,7 +35,7 @@ jobs: with: run: | cd docs - make latex + make latexonly cd _build/latex ls -l make diff --git a/docs/Makefile b/docs/Makefile index 59b5b2c..40a00ea 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,3 +1,6 @@ +# latexonly: only build latex from already generated sources +latexonly: + $(SPHINXBUILD) -b latex "$(SOURCEDIR)" "$(BUILDDIR)/latex" $(SPHINXOPTS) $(O) # Minimal makefile for Sphinx documentation # |