mirror of
https://github.com/restic/restic.git
synced 2025-04-28 18:10:48 +00:00
Merge pull request #5222 from MichaelEischer/docs-edit-links
doc: add edit on github link
This commit is contained in:
commit
9566e2db4a
@ -91,6 +91,12 @@ html_show_version = False
|
|||||||
# so a file named "default.css" will overwrite the builtin "default.css".
|
# so a file named "default.css" will overwrite the builtin "default.css".
|
||||||
html_static_path = ['_static']
|
html_static_path = ['_static']
|
||||||
|
|
||||||
|
html_context = {
|
||||||
|
'display_github': True,
|
||||||
|
'github_user': 'restic',
|
||||||
|
'github_repo': 'restic',
|
||||||
|
'github_version': 'master/doc/',
|
||||||
|
}
|
||||||
|
|
||||||
# -- Options for HTMLHelp output ------------------------------------------
|
# -- Options for HTMLHelp output ------------------------------------------
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user