From 134932fb5107aa3942e9a237b434b3cc80e56be2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= Date: Fri, 1 Jul 2016 07:29:29 +0200 Subject: [PATCH] Remove currently unused intersphinx extension Might be useful again when we start having localized docs though. --- conf.py | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/conf.py b/conf.py index 57b651888..bb938f325 100644 --- a/conf.py +++ b/conf.py @@ -11,7 +11,7 @@ needs_sphinx = '1.3' # Sphinx extension module names and templates location sys.path.append(os.path.abspath('extensions')) -extensions = ['sphinx.ext.intersphinx', 'gdscript'] +extensions = ['gdscript'] templates_path = ['_templates'] # You can specify multiple suffix as a list of string: ['.rst', '.md'] @@ -44,11 +44,6 @@ lexers['gdscript'] = GDScriptLexer() pygments_style = 'sphinx' highlight_language = 'gdscript' -# intersphinx configuration -intersphinx_mapping = { - 'english': ('http://docs.godotengine.org/en/latest/', None), -} - # -- Options for HTML output ---------------------------------------------- # on_rtd is whether we are on readthedocs.org, this line of code grabbed from docs.readthedocs.org