Fix intersphinx_mapping format (#921) (#924)

(cherry picked from commit 701dfed)

Signed-off-by: Jonas Otto <[email protected]>
Co-authored-by: Jonas Otto <[email protected]>

Author: mergify[bot]

launch/doc/source/conf.py

@@ -199,7 +199,7 @@
 # -- Options for intersphinx extension ---------------------------------------
 
 # Example configuration for intersphinx: refer to the Python standard library.
-intersphinx_mapping = {'https://docs.python.org/': None}
+intersphinx_mapping = {'python': ('https://docs.python.org/3', None)}
 
 # -- Options for todo extension ----------------------------------------------