1 files changed, 0 insertions, 36 deletions
diff --git a/www-servers/tornado/files/4.1.0-drop-intersphinx.patch b/www-servers/tornado/files/4.1.0-drop-intersphinx.patch
deleted file mode 100644
index e7da6fbefea2..000000000000
--- a/www-servers/tornado/files/4.1.0-drop-intersphinx.patch
+++ /dev/null
@@ -1,36 +0,0 @@
-diff --git a/docs/Makefile b/docs/Makefile
-index a491685..ba4888f 100644
---- a/docs/Makefile
-+++ b/docs/Makefile
-@@ -1,7 +1,7 @@
- .PHONY: all
- all: sphinx
- 
--SPHINXOPTS=-n -W -d build/doctrees .
-+SPHINXOPTS=-n -d build/doctrees .
- 
- .PHONY: sphinx
- sphinx:
-diff --git a/docs/conf.py b/docs/conf.py
-index d9b4761..4c11038 100644
---- a/docs/conf.py
-+++ b/docs/conf.py
-@@ -15,7 +15,6 @@ extensions = [
-     "sphinx.ext.autodoc",
-     "sphinx.ext.coverage",
-     "sphinx.ext.extlinks",
--    "sphinx.ext.intersphinx",
-     "sphinx.ext.viewcode",
-     ]
- 
-@@ -94,10 +93,6 @@ extlinks = {
-         'tornado-%s.tar.g' % version),
-     }
- 
--intersphinx_mapping = {
--    'python': ('http://python.readthedocs.org/en/latest/', None),
--    }
--
- on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
- 
- # On RTD we can't import sphinx_rtd_theme, but it will be applied by