From c2e404a0ee3c78a70e63905f8e922fd683eb5686 Mon Sep 17 00:00:00 2001
From: Michael Eischer <michael.eischer@fau.de>
Date: Fri, 31 Jan 2025 18:53:03 +0100
Subject: [PATCH] doc: add edit on github link

---
 doc/conf.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/conf.py b/doc/conf.py
index f40a8c79e..6c89d0f41 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -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 ------------------------------------------