diff options
| author | Denis Danilov <danilovdenis@yandex.ru> | 2019-05-21 20:12:52 +0200 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2019-05-21 13:23:38 -0700 |
| commit | f3fe7eff6208d33747e15ec6cca6df506143814e (patch) | |
| tree | b29ac5ac4c5422dbcecd7e7e5b06616d0fd80d75 | |
| parent | 2701a3f5b0b932d9370c7cb23e6c95be9a06f228 (diff) | |
disable intersphinx and info extensions
The intersphinx and info extensions use network during the build. The info
extension may even fail the build if network is available (Bug #929232).
Forwarded: not-needed
Gbp-Pq: Name disable-intersphinx-and-info-extensions.patch
| -rw-r--r-- | doc/conf.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/conf.py b/doc/conf.py index 968a7a65..5aa7d369 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -33,13 +33,13 @@ ON_RTD = os.environ.get('READTHEDOCS', None) == 'True' needs_sphinx = '1.3' extensions = [ - 'sphinx.ext.intersphinx', + #'sphinx.ext.intersphinx', 'sphinx.ext.extlinks', 'sphinx.ext.todo', # Domain for Emacs Lisp 'elisp', # Cross-references to info nodes - 'info' + #'info' ] # Project metadata |