Add "Edit on GitHub" links

teemtee · Dec 4, 2024 · c92b81c · c92b81c
1 parent ebf02ad
commit c92b81c
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -203,6 +203,16 @@ def _load_theme(
 # a list of builtin themes.
 html_theme = HTML_THEME
 
+print("Using theme: " + HTML_THEME)
+
+# ## Edit on GitHub feature, inherited by renku theme from rtd theme
+html_context = {
+    'display_github': True,
+    'github_user': 'teemtee',
+    'github_repo': 'tmt',
+    'github_version': 'main/docs/'
+    }
+
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.