diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/patches/intersphinx_local.diff | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/debian/patches/intersphinx_local.diff b/debian/patches/intersphinx_local.diff index 8f63354..0d5cf6b 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 437b08f..8b21457 100644 +index 2e0e42f..8ff28d7 100644 --- a/doc/conf.py +++ b/doc/conf.py -@@ -159,9 +159,8 @@ texinfo_documents = [ +@@ -160,9 +160,8 @@ texinfo_documents = [ ] intersphinx_mapping = { @@ -26,7 +26,7 @@ index 437b08f..8b21457 100644 # Sphinx document translation with sphinx gettext feature uses these settings: diff --git a/doc/tutorial/deploying.rst b/doc/tutorial/deploying.rst -index 6b7913f..f5fd24e 100644 +index c269593..d2d8469 100644 --- a/doc/tutorial/deploying.rst +++ b/doc/tutorial/deploying.rst @@ -155,13 +155,16 @@ Read the Docs @@ -39,12 +39,12 @@ index 6b7913f..f5fd24e 100644 +based on this one. You can publish your sources on GitHub as explained :ref:`in the previous section <publishing-sources>`, then skip directly to --:ref:`readthedocs:tutorial/index:Sign up for Read the Docs`. -+`Sign up for Read the Docs`_. +-:ref:`readthedocs:tutorial/index:Creating a Read the Docs account`. ++`Creating a Read the Docs account`_. If you choose GitLab instead, the process is similar. +.. _the RTD tutorial: https://docs.readthedocs.io/en/stable/tutorial/index.html -+.. _Sign up for Read the Docs: https://docs.readthedocs.io/en/stable/tutorial/index.html#sign-up-for-read-the-docs ++.. _Creating a Read the Docs account: https://docs.readthedocs.io/en/stable/tutorial/index.html#creating-a-read-the-docs-account + GitHub Pages ~~~~~~~~~~~~ |