From cfd3bc823c54ee6968eb5e7574fe7446e18e1818 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Wed, 21 Jul 2021 12:36:55 +0530
Subject: [PATCH] ...

---
 docs/conf.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/conf.py b/docs/conf.py
index cbfffc484..d9ad01828 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -485,6 +485,8 @@ def write_conf_docs(app: Any, all_kitten_names: Iterable[str]) -> None:
 def add_html_context(app: Any, pagename: str, templatename: str, context: Any, doctree: Any, *args: Any) -> None:
     context['analytics_id'] = app.config.analytics_id
     if 'toctree' in context:
+        # this is needed with furo to use all titles from pages
+        # in the sidebar (global) toc
         original_toctee_function = context['toctree']
 
         def include_sub_headings(**kwargs: Any) -> Any: