diff options
Diffstat (limited to 'debian/patches/intersphinx_local.diff')
| -rw-r--r-- | debian/patches/intersphinx_local.diff | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/debian/patches/intersphinx_local.diff b/debian/patches/intersphinx_local.diff index 1eff330..8f63354 100644 --- a/debian/patches/intersphinx_local.diff +++ b/debian/patches/intersphinx_local.diff @@ -10,10 +10,10 @@ during build. 2 files changed, 8 insertions(+), 6 deletions(-) diff --git a/doc/conf.py b/doc/conf.py -index 416158f..a262354 100644 +index 437b08f..8b21457 100644 --- a/doc/conf.py +++ b/doc/conf.py -@@ -117,9 +117,8 @@ texinfo_documents = [ +@@ -159,9 +159,8 @@ texinfo_documents = [ ] intersphinx_mapping = { @@ -26,10 +26,10 @@ index 416158f..a262354 100644 # Sphinx document translation with sphinx gettext feature uses these settings: diff --git a/doc/tutorial/deploying.rst b/doc/tutorial/deploying.rst -index e16abdf..1c4e3c6 100644 +index 6b7913f..f5fd24e 100644 --- a/doc/tutorial/deploying.rst +++ b/doc/tutorial/deploying.rst -@@ -160,13 +160,16 @@ Read the Docs +@@ -155,13 +155,16 @@ Read the Docs ~~~~~~~~~~~~~ `Read the Docs`_ offers integration with both GitHub and GitLab. The quickest |