From e49b10c7eb6c1ead8ed91f9f16b789a5af1f5af1 Mon Sep 17 00:00:00 2001 From: Tim Hoffmann <2836374+timhoffm@users.noreply.github.com> Date: Sun, 18 Sep 2022 22:39:38 +0200 Subject: [PATCH] Backport PR #23919: DOC: remove dead "Show Source" links --- doc/conf.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/conf.py b/doc/conf.py index 67514c2d4057..112d9fdaf22c 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -381,7 +381,8 @@ def js_tag_with_cache_busting(js): "logo": {"link": "index", "image_light": "images/logo2.svg", "image_dark": "images/logo_dark.svg"}, - "navbar_end": ["theme-switcher", "version-switcher", "mpl_icon_links"] + "navbar_end": ["theme-switcher", "version-switcher", "mpl_icon_links"], + "page_sidebar_items": "page-toc.html", } include_analytics = is_release_build if include_analytics:
Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.
Alternative Proxies: