diff options
| author | Georg Brandl <georg@python.org> | 2014-09-30 22:23:57 +0200 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2014-09-30 22:23:57 +0200 |
| commit | 2b1a0a30c9468bcb855fb8b60faaedbf5495904b (patch) | |
| tree | 5742a7e22a5f83ba0ef7e568375d501cdf841a83 | |
| parent | bae334cda9e1f75c55f98842d3758bf14be26d76 (diff) | |
| download | cpython-git-2b1a0a30c9468bcb855fb8b60faaedbf5495904b.tar.gz | |
Dont define an empty SPHINXOPTS, which overrides a definition from the environment.
| -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) |