Merge pull request #15 from gdcc/edit-button

replace "Show Source" with "Edit on GitHub"
gdcc · Oct 21, 2024 · 5d96832 · 5d96832
2 parents a45808b + 44fe75e
commit 5d96832
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/source/conf.py b/source/conf.py
@@ -27,4 +27,14 @@
 html_theme_options = {
   "show_prev_next": False,
   "header_links_before_dropdown": 6,
+  # see https://pydata-sphinx-theme.readthedocs.io/en/stable/user_guide/source-buttons.html
+  "use_edit_page_button": True,
 }
+html_context = {
+    "github_user": "gdcc",
+    "github_repo": "www.gdcc.io",
+    "github_version": "main",
+    "doc_path": "source",
+}
+# see use_edit_page_button, which we use instead
+html_show_sourcelink = False