| commit | 2b1a0a30c9468bcb855fb8b60faaedbf5495904b | [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 | 5742a7e22a5f83ba0ef7e568375d501cdf841a83 | |
| parent | bae334cda9e1f75c55f98842d3758bf14be26d76 [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)