From 2b1a0a30c9468bcb855fb8b60faaedbf5495904b Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Tue, 30 Sep 2014 22:23:57 +0200
Subject: [PATCH] Dont define an empty SPHINXOPTS, which overrides a definition
 from the environment.

---
 Doc/Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Doc/Makefile b/Doc/Makefile
index ec35c12873c..fee7fc795a0 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)