diff options
author | siddharth <s@ricketyspace.net> | 2021-10-31 16:26:35 -0400 |
---|---|---|
committer | siddharth <s@ricketyspace.net> | 2021-10-31 16:26:35 -0400 |
commit | 971761d82115d023c4d1a9870deab6a269d18495 (patch) | |
tree | 1dcde4efa564808ff536493b0aa6bb7d35b1a238 | |
parent | 89eb206421b0887453c2c2db92a1cd80ce75e12d (diff) |
Revert "docs/conf.py: remove intersphinx_mapping"
This reverts commit 57f2504cfc7d89c519b35952400e3b09309674b7.
-rw-r--r-- | docs/conf.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 16f6b29..5362d82 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -298,3 +298,9 @@ texinfo_documents = [ # If true, do not generate a @detailmenu in the "Top" node's menu. #texinfo_no_detailmenu = False + +# Example configuration for intersphinx: refer to the Python standard library. +intersphinx_mapping = { + 'https://docs.python.org/2.7': None, + 'https://pythonhosted.org/watchdog/': None +} |