diff -up src/sage/docs/conf.py.orig src/sage/docs/conf.py --- src/sage/docs/conf.py.orig 2019-09-29 17:03:11.000000000 -0600 +++ src/sage/docs/conf.py 2020-01-02 11:19:45.125646695 -0700 @@ -169,9 +169,8 @@ todo_include_todos = True python_version = sys.version_info.major 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')} def set_intersphinx_mappings(app): """