From b62160255b27b756e38b019e59c36c4cfe109f6e Mon Sep 17 00:00:00 2001 From: "David B. Kinder" Date: Wed, 9 Feb 2022 14:47:28 -0800 Subject: [PATCH] doc: show source file link on html pages A shortcut to find the :ref:`labelname` value to link to an HTML page is to view the source .rst file for that page. This patch tweaks the conf.py to do just that. Signed-off-by: David B. Kinder --- doc/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/conf.py b/doc/conf.py index 20b86e8b7..afbbc57ab 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -243,7 +243,7 @@ def setup(app): html_show_sphinx = False # If true, links to the reST sources are added to the pages. -html_show_sourcelink = False +html_show_sourcelink = True # If not '', a 'Last updated on:' timestamp is inserted at every page # bottom,