| commit | bb675280d91eafdcc7e3892cf4aeb1565ec733cf | [log] [tgz] |
|---|---|---|
| author | Georg Brandl <georg@python.org> | Tue Sep 30 22:23:57 2014 +0200 |
| committer | Georg Brandl <georg@python.org> | Tue Sep 30 22:23:57 2014 +0200 |
| tree | c7d56fb7885ef084edca718f67641fb7fce70738 | |
| parent | 75070f03044e4f93a3b092ad01110515b4ad4530 [diff] |
Dont define an empty SPHINXOPTS, which overrides a definition from the environment.
diff --git a/Doc/Makefile b/Doc/Makefile index ec35c12..fee7fc7 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)