diff options
| author | Erik Faye-Lund <erik.faye-lund@collabora.com> | 2020-09-16 11:54:21 +0200 |
|---|---|---|
| committer | Marge Bot <eric+marge@anholt.net> | 2020-09-28 07:46:33 +0000 |
| commit | 12760d0480d53da7218773ce3edae091e59607cb (patch) | |
| tree | 349aadbcc0a258fab280d879c90fe87ee337a8c7 /docs/conf.py | |
| parent | 96ac7115dbd4afb39e871887690a9c9a86689f0c (diff) | |
| download | mesa-12760d0480d53da7218773ce3edae091e59607cb.tar.gz | |
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>
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 0037037e4ae..a03fc165e0e 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, |