diff -up src/sage_docbuild/conf.py.orig src/sage_docbuild/conf.py --- src/sage_docbuild/conf.py.orig 2023-02-11 06:25:15.000000000 -0700 +++ src/sage_docbuild/conf.py 2023-03-13 09:53:42.670555040 -0600 @@ -228,9 +228,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-devel/objects.inv')} # Add master intersphinx mapping dst = os.path.join(invpath, 'objects.inv')