Attempt to fix readthedocs build

thibaultmarin · Dec 2, 2024 · 66e5b98 · 66e5b98
1 parent 793e219
commit 66e5b98
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/doc/source/conf.py b/doc/source/conf.py
@@ -361,4 +361,4 @@
 
 
 # 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)}
diff --git a/hpp2plantuml.org b/hpp2plantuml.org
@@ -3949,8 +3949,7 @@ texinfo_documents = [
 
 
 # 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)}
 #+END_SRC
Original file line number	Diff line number	Diff line change
Expand Up		@@ -361,4 +361,4 @@


		# 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)}