source not edit

Robpol86 · Sep 28, 2024 · c7f7b02 · c7f7b02
1 parent ced51d8
commit c7f7b02
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/conf.py b/docs/conf.py
@@ -59,7 +59,7 @@
     "repository_branch": GIT_BRANCH,
     "repository_url": GIT_URL,
     "use_download_button": False,
-    "use_edit_page_button": not not GIT_URL,  # pylint: disable=unneeded-not
+    "use_source_button": not not GIT_URL,  # pylint: disable=unneeded-not
     "use_fullscreen_button": False,
 }
 html_title = project
@@ -215,4 +215,5 @@ def setup(app):
 * apple favicons
 * revisit all extension settings here
 * fix imgur-embed in latest sphinx
+* validate rss
 """