Show More
| @@ -112,7 +112,7 try: | |||||
| 112 | ) |
|
112 | ) | |
| 113 |
|
113 | |||
| 114 | except ModuleNotFoundError: |
|
114 | except ModuleNotFoundError: | |
| 115 | # In case intersphinx_registry is not yet packages on current plaform |
|
115 | # In case intersphinx_registry is not yet packages on current platform | |
| 116 | # as it is quite recent. |
|
116 | # as it is quite recent. | |
| 117 | print("/!\\ intersphinx_registry not installed, relying on local mapping.") |
|
117 | print("/!\\ intersphinx_registry not installed, relying on local mapping.") | |
| 118 | intersphinx_mapping = config["intersphinx_mapping"] |
|
118 | intersphinx_mapping = config["intersphinx_mapping"] | |
General Comments 0
You need to be logged in to leave comments.
Login now