From 7a4ac9ec9ce2ab7a7fbc4cb5208d82162cf7269c Mon Sep 17 00:00:00 2001 From: Graham Inggs Date: Wed, 12 Apr 2017 11:40:21 +0200 Subject: [PATCH] add SOURCELINK_SUFFIX for compatibility with Sphinx 1.5 With Sphinx 1.5, this is needed by searchtools.js to display the source snippets (see sphinx-doc/sphinx#2454). With earlier Sphinx versions, this is a no-op because the undefined variable will evaluate to an empty string. --- doc/basic-bootstrap/layout.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/basic-bootstrap/layout.html b/doc/basic-bootstrap/layout.html index 5164e9ce..a257b03d 100644 --- a/doc/basic-bootstrap/layout.html +++ b/doc/basic-bootstrap/layout.html @@ -90,7 +90,8 @@ VERSION: '{{ release|e }}', COLLAPSE_INDEX: false, FILE_SUFFIX: '{{ '' if no_search_suffix else file_suffix }}', - HAS_SOURCE: {{ has_source|lower }} + HAS_SOURCE: {{ has_source|lower }}, + SOURCELINK_SUFFIX: '{{ sourcelink_suffix }}' }; {%- for scriptfile in script_files %}