From 12760d0480d53da7218773ce3edae091e59607cb Mon Sep 17 00:00:00 2001
From: Erik Faye-Lund <erik.faye-lund@collabora.com>
Date: Wed, 16 Sep 2020 11:54:21 +0200
Subject: [PATCH] docs: show 'Edit on GitLab'-link

It's easier to contribute to the documentation if we have links to the
document on GitLab. This will allow people to easily edit docs, or to
realize where in the source-tree they are without having to search.

Reviewed-by: Eric Engestrom <eric@engestrom.ch>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/6742>
---
 docs/conf.py | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/docs/conf.py b/docs/conf.py
index 0037037..a03fc16 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -109,6 +109,15 @@ html_theme_options = {
   'display_version': False,
 }
 
+html_context = {
+  'display_gitlab': True,
+  'gitlab_host': 'gitlab.freedesktop.org',
+  'gitlab_user': 'mesa',
+  'gitlab_repo': 'mesa',
+  'gitlab_version': 'master',
+  'conf_py_path': '/docs/',
+}
+
 html_copy_source = False
 
 # Add any paths that contain custom static files (such as style sheets) here,
-- 
2.7.4