diff options
Diffstat (limited to 'documentation')
-rw-r--r-- | documentation/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index 580688d543..04d72592c4 100644 --- a/documentation/Makefile +++ b/documentation/Makefile | |||
@@ -58,9 +58,11 @@ sphinx-lint: | |||
58 | sphinx-lint $(SPHINXLINTDOCS) | 58 | sphinx-lint $(SPHINXLINTDOCS) |
59 | 59 | ||
60 | epub: $(PNGs) | 60 | epub: $(PNGs) |
61 | $(SOURCEDIR)/set_versions.py | ||
61 | @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) | 62 | @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |
62 | 63 | ||
63 | latexpdf: $(PDFs) | 64 | latexpdf: $(PDFs) |
65 | $(SOURCEDIR)/set_versions.py | ||
64 | @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) | 66 | @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |
65 | 67 | ||
66 | all: html epub latexpdf | 68 | all: html epub latexpdf |