diff options
| author | Kristian Evers <kristianevers@gmail.com> | 2019-11-22 11:38:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-22 11:38:45 +0100 |
| commit | 431878d251617d60a3e44d1693976dca90630342 (patch) | |
| tree | aa0ed74a236d86f6dcc98686bd4d1edaf9e82665 /docs | |
| parent | 0516d857b056df560f256dbe8ca9e7b1282b4d17 (diff) | |
| parent | ffb47d7dd27fc90860215c729a34b9ebe072ea90 (diff) | |
| download | PROJ-431878d251617d60a3e44d1693976dca90630342.tar.gz PROJ-431878d251617d60a3e44d1693976dca90630342.zip | |
Merge pull request #1735 from rouault/doc_github_button
Doc: configure the 'Edit on GitHub' button
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/source/conf.py | 6 |
1 files changed, 6 insertions, 0 deletions
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 ], |