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