From 00cc8edba8ef55eead5a41b002c227546d29435e Mon Sep 17 00:00:00 2001
From: Maarten de Waard <maarten@greenhost.nl>
Date: Mon, 7 Feb 2022 14:08:41 +0100
Subject: [PATCH] set "edit on gitlab" instead of "view source" in to top right
corner of each page
---
docs/conf.py | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/docs/conf.py b/docs/conf.py
index c41798da5..5281ec571 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -52,6 +52,14 @@ exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store', 'README.md']
#
html_theme = 'sphinx_rtd_theme'
+html_context = {
+ 'display_gitlab': True,
+ 'gitlab_host': 'open.greenhost.net',
+ 'gitlab_user': 'stackspin',
+ 'gitlab_repo': 'stackspin',
+ 'gitlab_version': 'main/',
+ 'conf_py_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".
--
GitLab