From b9ff498793611d1c6a9b99df464812931a1e2d69 Mon Sep 17 00:00:00 2001 From: Elmar Ritsch <35851+elritsch@users.noreply.github.com> Date: Fri, 18 Aug 2017 05:23:51 +0200 Subject: [PATCH] Fix broken `Show Source` links on documentation pages (GH-3113) The `Show Source` was broken because of a change made in sphinx 1.5.1 In Sphinx 1.4.9, the sourcename was "index.txt". In Sphinx 1.5.1+, it is now "index.rst.txt" --- Doc/tools/templates/customsourcelink.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Doc/tools/templates/customsourcelink.html b/Doc/tools/templates/customsourcelink.html index 42172909ca..fca44e9163 100644 --- a/Doc/tools/templates/customsourcelink.html +++ b/Doc/tools/templates/customsourcelink.html @@ -4,7 +4,7 @@