diff options
Diffstat (limited to 'sphinx/themes/basic/static/documentation_options.js_t')
-rw-r--r-- | sphinx/themes/basic/static/documentation_options.js_t | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/sphinx/themes/basic/static/documentation_options.js_t b/sphinx/themes/basic/static/documentation_options.js_t new file mode 100644 index 0000000..b66690a --- /dev/null +++ b/sphinx/themes/basic/static/documentation_options.js_t @@ -0,0 +1,13 @@ +const DOCUMENTATION_OPTIONS = { + VERSION: '{{ release|e }}', + LANGUAGE: '{{ language }}', + COLLAPSE_INDEX: false, + BUILDER: '{{ builder }}', + FILE_SUFFIX: '{{ file_suffix }}', + LINK_SUFFIX: '{{ link_suffix }}', + HAS_SOURCE: {{ has_source|lower }}, + SOURCELINK_SUFFIX: '{{ sourcelink_suffix }}', + NAVIGATION_WITH_KEYS: {{ 'true' if theme_navigation_with_keys|tobool else 'false'}}, + SHOW_SEARCH_SUMMARY: {{ 'true' if show_search_summary else 'false' }}, + ENABLE_SEARCH_SHORTCUTS: {{ 'true' if theme_enable_search_shortcuts|tobool else 'false'}}, +}; |