remove deprecated rtd theme options.

BrianPugh · Oct 14, 2024 · 3ea2223 · 3ea2223
1 parent 56b95aa
commit 3ea2223
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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": "",