29231: use online pplpy docs for intersphinx with local fallback

sagemath · Feb 24, 2020 · ad16967 · ad16967
1 parent 2bd8a8a
commit ad16967
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/sage/docs/conf.py b/src/sage/docs/conf.py
@@ -180,7 +180,9 @@ def sphinx_plot(graphics, **kwds):
 dummy_inventory_file = python_inventory_file
 intersphinx_mapping = {
     'python': ('https://docs.python.org/', python_inventory_file),
-    'pplpy': (PPLPY_DOCS, None),
+    'pplpy': ('https://www.labri.fr/perso/vdelecro/pplpy/latest/',
+              (None, os.path.join(PPLPY_DOCS, 'objects.inv'),
+               dummy_inventory_file)),
     'scipy': ('https://docs.scipy.org/doc/scipy/reference/',
               (None, dummy_inventory_file))}