Add explicit Edit on GitHub configuration

hinerm · hinerm · commit 4848b3d4a64c · 2024-10-09T09:32:29.000-05:00
Always show the edit on github links (even when building local HTML) and
correct the URL to go to the nested docs/ops/doc/ path.
diff --git a/docs/ops/doc/conf.py b/docs/ops/doc/conf.py
@@ -50,6 +50,16 @@
 copybutton_selector = "div:not(.no-copybutton) > div.highlight > pre"
 
 # -- Options for HTML output -------------------------------------------------
+
+# Always show the Edit on GitHub buttons
+# Set the correct path for Edit on GitHub
+html_context = {
+    'display_github': True,
+    'github_user': 'scijava',
+    'github_repo': 'scijava',
+    'github_version': 'main/docs/ops/doc/',
+}
+
 # Add the SciJava logo
 # html_logo = "doc-images/logo.svg"
 # html_theme_options = {
