diff options
Diffstat (limited to 'documentation/Makefile')
| -rw-r--r-- | documentation/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index f04f381bd2..bec53399c0 100644 --- a/documentation/Makefile +++ b/documentation/Makefile | |||
| @@ -57,4 +57,5 @@ all: html epub latexpdf | |||
| 57 | # Catch-all target: route all unknown targets to Sphinx using the new | 57 | # Catch-all target: route all unknown targets to Sphinx using the new |
| 58 | # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). | 58 | # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). |
| 59 | %: | 59 | %: |
| 60 | $(SOURCEDIR)/set_versions.py | ||
| 60 | @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) | 61 | @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |