summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--documentation/Makefile2
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
60epub: $(PNGs) 60epub: $(PNGs)
61 $(SOURCEDIR)/set_versions.py
61 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) 62 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
62 63
63latexpdf: $(PDFs) 64latexpdf: $(PDFs)
65 $(SOURCEDIR)/set_versions.py
64 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) 66 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
65 67
66all: html epub latexpdf 68all: html epub latexpdf