From ffb47d7dd27fc90860215c729a34b9ebe072ea90 Mon Sep 17 00:00:00 2001 From: Even Rouault Date: Thu, 21 Nov 2019 20:06:17 +0100 Subject: Doc: configure the 'Edit on GitHub' button --- docs/source/conf.py | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'docs/source/conf.py') diff --git a/docs/source/conf.py b/docs/source/conf.py index cd004777..914d8bba 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -171,6 +171,12 @@ html_logo = '../images/logo.png' html_static_path = ['_static'] html_context = { + 'display_github': True, + 'theme_vcs_pageview_mode': 'edit', + 'github_user': 'OSGeo', + 'github_repo': 'PROJ', + # TODO: edit when switching active branch + 'github_version': '/6.2/docs/source/', 'css_files': [ '_static/theme_overrides.css', # override wide tables in RTD theme ], -- cgit v1.2.3