diff options
Diffstat (limited to 'Doc')
-rw-r--r-- | Doc/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index ec35c12873..fee7fc795a 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -6,7 +6,6 @@ # You can set these variables from the command line. PYTHON = python SPHINXBUILD = sphinx-build -SPHINXOPTS = PAPER = SOURCES = DISTVERSION = $(shell $(PYTHON) tools/sphinxext/patchlevel.py) |