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
|