From a2ef75d3b25640baeb7dd96b7370b7abbdd02ad4 Mon Sep 17 00:00:00 2001
From: Rahix <rahix@rahix.de>
Date: Sun, 14 Jul 2019 20:51:02 +0200
Subject: [PATCH] doc: Add "Edit on GitLab" button
Signed-off-by: Rahix <rahix@rahix.de>
---
Documentation/conf.py | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
diff --git a/Documentation/conf.py b/Documentation/conf.py
index 99ed3142..6f5ba2a5 100644
--- a/Documentation/conf.py
+++ b/Documentation/conf.py
@@ -66,6 +66,23 @@ except ImportError:
# 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 = ["static"]
+
+# Theme Options
+html_theme_options = {
+ "style_external_links": True,
+}
+
+# Show "Edit on GitLab" links
+html_show_sourcelink = False
+html_context = {
+ "display_gitlab": True,
+ "gitlab_host": "git.card10.badge.events.ccc.de",
+ "gitlab_user": "card10",
+ "gitlab_repo": "firmware",
+ "gitlab_version": "master/",
+ "conf_py_path": "Documentation/",
+ "theme_vcs_pageview_mode": "edit",
+}
# }}}
# -- Options for Auto-Doc ---------------------------------------------------- {{{
--
GitLab