From c2e610cfba02a8cb4db7d7691bfc8210be8a1ffb Mon Sep 17 00:00:00 2001 From: Antonio Rojas Date: Thu, 29 Sep 2022 21:29:04 +0200 Subject: [PATCH] Fix build with sphinx 5.2 --- src/sage_docbuild/ext/multidocs.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/sage_docbuild/ext/multidocs.py b/src/sage_docbuild/ext/multidocs.py index 39121ef90ac..b73baeadb71 100644 --- a/src/sage_docbuild/ext/multidocs.py +++ b/src/sage_docbuild/ext/multidocs.py @@ -146,6 +146,10 @@ def merge_js_index(app): titles = app.builder.indexer._titles for (res, title) in index._titles.items(): titles[fixpath(res)] = title + # merge the alltitles + alltitles = app.builder.indexer._all_titles + for (res, alltitle) in index._all_titles.items(): + alltitles[fixpath(res)] = alltitle # merge the filenames filenames = app.builder.indexer._filenames for (res, filename) in index._filenames.items():