diff options
Diffstat (limited to 'debian/patches')
-rw-r--r-- | debian/patches/intersphinx_mapping.patch | 17 | ||||
-rw-r--r-- | debian/patches/series | 1 |
2 files changed, 18 insertions, 0 deletions
diff --git a/debian/patches/intersphinx_mapping.patch b/debian/patches/intersphinx_mapping.patch new file mode 100644 index 0000000..708fee8 --- /dev/null +++ b/debian/patches/intersphinx_mapping.patch @@ -0,0 +1,17 @@ +Author: "P. J. McDermott" <pj@pehjota.net> +Forwarded: not-needed +Subject: Use non-None object inventory values in intersphinx_mapping + +--- a/docs/conf.py ++++ b/docs/conf.py +@@ -249,4 +249,9 @@ + + + # Example configuration for intersphinx: refer to the Python standard library. +-intersphinx_mapping = {'http://docs.python.org/': None} ++intersphinx_mapping = { ++ 'http://docs.python.org/': ++ '/usr/share/doc/python' + ++ '.'.join([str(x) for x in sys.version_info[0:2]]) + ++ '/html/objects.inv', ++} diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..cc13fa9 --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +intersphinx_mapping.patch |