docs.conf: add Edit on GitHub button

eclipse-basyx · Jan 3, 2024 · 18a6632 · 18a6632
1 parent 78be7c7
commit 18a6632
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -97,3 +97,12 @@ def setup(app):
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = []
+
+# Configuration of the 'Edit on GitHub' button at the top right.
+html_context = {
+    'display_github': True,
+    'github_user': 'eclipse-basyx',
+    'github_repo': 'basyx-python-sdk',
+    'github_version': release,
+    'conf_py_path': '/docs/source/'
+}