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

diff --git a/Doc/Makefile b/Doc/Makefile
index ec35c12873cdc47713c98ac907d5dfc651e8ebda..fee7fc795a01c204c6057c4b914b4ecbe26011ef 100644 (file)
--- 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)