Add missing SOURCELINK_SUFFIX

Adds DOCUMENTATION_OPTIONS.SOURCELINK_SUFFIX which is expected by the
searchtools.js

Related sphinx commit:
71dd8bfbf9
This commit is contained in:
Mikkel Oscar Lyderik Larsen
2016-12-08 23:33:21 +01:00
parent b3ee01006b
commit a5e0e304d3
2 changed files with 4 additions and 2 deletions

View File

@@ -170,7 +170,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 }}'
};
</script>
{%- for scriptfile in script_files %}

View File

@@ -91,7 +91,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 }}'
};
</script>
{%- for scriptfile in script_files %}