diff --git a/doc/conf.py b/doc/conf.py index 288aba5404ae6..9a0c09438d865 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -309,7 +309,7 @@ html_additional_pages[old_link] = "redirects.html" # Not showing the search summary makes the search page load faster. -html_show_search_summary = False +html_show_search_summary = True # The "summary-anchor" IDs will be overwritten via JavaScript to be unique.