From c9b75d081bea929135c12fffe6e90d72eb6610c1 Mon Sep 17 00:00:00 2001 From: Josh Durgin Date: Wed, 12 Jan 2022 12:27:48 -0500 Subject: [PATCH] doc/conf.py: use links to the 'edit' page for edit on github Signed-off-by: Josh Durgin --- doc/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/conf.py b/doc/conf.py index c4d5bfb49c6..79f32d24760 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -54,7 +54,7 @@ html_theme_options = { 'display_version': False, 'prev_next_buttons_location': 'bottom', 'style_external_links': False, - 'vcs_pageview_mode': '', + 'vcs_pageview_mode': 'edit', 'style_nav_header_background': '#eee', # Toc options 'collapse_navigation': True, -- 2.39.5