add github link doc

gbeckers · Sep 21, 2023 · 96d1a13 · 96d1a13
1 parent f8b7a51
commit 96d1a13
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -97,9 +97,18 @@
 # documentation.
 #
 html_theme_options = {
+    "use_edit_page_button": True,
     "github_url": "https:/github.com/gbeckers/Darr",
     "collapse_navigation": True,
 }
+
+html_context = {
+    "display_github": True,
+    "github_user": "gbeckers",
+    "github_repo": "Darr",
+    "github_version": "master",
+    "doc_path": "docs"
+}
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".