44047e4
diff -up src/sage/docs/conf.py.orig src/sage/docs/conf.py
861d3bc
--- src/sage/docs/conf.py.orig	2020-10-24 11:37:59.000000000 -0600
861d3bc
+++ src/sage/docs/conf.py	2020-10-30 16:41:06.481017695 -0600
861d3bc
@@ -189,9 +189,8 @@ def set_intersphinx_mappings(app, config
861d3bc
 
861d3bc
     app.config.intersphinx_mapping =  {
44047e4
     'python': ('https://docs.python.org/',
44047e4
-                os.path.join(SAGE_DOC_SRC, "common",
44047e4
-                             "python{}.inv".format(python_version))),
44047e4
-    'pplpy': (PPLPY_DOCS, None)}
44047e4
+               '/usr/share/doc/python3-docs/html/objects.inv'),
44047e4
+    'pplpy': (PPLPY_DOCS, '/usr/share/doc/python3-pplpy/objects.inv')}
44047e4
 
861d3bc
     # Add master intersphinx mapping
861d3bc
     dst = os.path.join(invpath, 'objects.inv')