From 3ea22232e678689d34d14572507052cf97e33b42 Mon Sep 17 00:00:00 2001 From: Brian Pugh Date: Mon, 14 Oct 2024 09:12:06 -0400 Subject: [PATCH] remove deprecated rtd theme options. --- docs/source/conf.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/docs/source/conf.py b/docs/source/conf.py index 6906537..6d65ec4 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -80,10 +80,8 @@ html_favicon = "../../assets/favicon.png" html_theme_options = { - # "analytics_id": "G-XXXXXXXXXX", # Provided by Google in your dashboard - # "analytics_anonymize_ip": False, "logo_only": True, - "display_version": False, + "version_selector": True, "prev_next_buttons_location": "bottom", "style_external_links": False, "vcs_pageview_mode": "",