doc: add edit on github link

This commit is contained in:
Michael Eischer 2025-01-31 18:53:03 +01:00
parent c4be05dbc2
commit c2e404a0ee

View File

@ -91,6 +91,12 @@ html_show_version = False
# so a file named "default.css" will overwrite the builtin "default.css".
html_static_path = ['_static']
html_context = {
'display_github': True,
'github_user': 'restic',
'github_repo': 'restic',
'github_version': 'master/doc/',
}
# -- Options for HTMLHelp output ------------------------------------------