summaryrefslogtreecommitdiff
blob: e7da6fbefea2b2285e91d405bd19493935970220 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
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