Dont define an empty SPHINXOPTS, which overrides a definition from the environment.

2014-09-30 22:23:57 +02:00 · 2014-09-30 22:23:57 +02:00 · 2b1a0a30c9
parent bae334cda9
commit 2b1a0a30c9
1 changed files with 0 additions and 1 deletions
--- 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)