diff options
Diffstat (limited to 'fix_new_sphinx.patch')
| -rw-r--r-- | fix_new_sphinx.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/fix_new_sphinx.patch b/fix_new_sphinx.patch new file mode 100644 index 000000000000..e3614818cac9 --- /dev/null +++ b/fix_new_sphinx.patch @@ -0,0 +1,11 @@ +--- a/docs/source/conf.py 2019-08-21 23:41:49.000000000 +0800 ++++ b/docs/source/conf.py 2019-08-28 22:01:40.031964404 +0800 +@@ -24,7 +24,7 @@ + # Add any Sphinx extension module names here, as strings. They can be extensions + # coming with Sphinx (named 'sphinx.ext.*') or your custom ones. + extensions += ['sphinx.ext.autodoc', 'sphinx.ext.doctest', +- 'sphinx.ext.intersphinx', 'sphinx.ext.pngmath'] ++ 'sphinx.ext.intersphinx', 'sphinx.ext.imgmath'] + + # Add any paths that contain templates here, relative to this directory. + templates_path = ['_templates'] |