diff --git a/doc_theme/templates/layout.html b/doc_theme/templates/layout.html index 344f488d594d917ba27ee852570b74c914b7ea9f..352237b6e598826c17ee7a0afd182c934078a926 100644 --- a/doc_theme/templates/layout.html +++ b/doc_theme/templates/layout.html @@ -168,7 +168,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: ".txt", }; {%- for scriptfile in script_files %}