diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-01-14 23:31:30 +0900 |
|---|---|---|
| committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-01-14 23:31:30 +0900 |
| commit | de023f2dc0972fc398975c5614caf89149a2de16 (patch) | |
| tree | a302c850f171f71872f84692194e6966086d1fef /sphinx/themes/basic/layout.html | |
| parent | 0d61b251c5a6d55eb8a0ce6977e72078664e0a06 (diff) | |
| download | sphinx-git-de023f2dc0972fc398975c5614caf89149a2de16.tar.gz | |
Fix #3620: html theme: move DOCUMENTATION_OPTIONS to independent JavaScript file (refs: #3620)
Diffstat (limited to 'sphinx/themes/basic/layout.html')
| -rw-r--r-- | sphinx/themes/basic/layout.html | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/sphinx/themes/basic/layout.html b/sphinx/themes/basic/layout.html index 050de15df..dc05e980d 100644 --- a/sphinx/themes/basic/layout.html +++ b/sphinx/themes/basic/layout.html @@ -87,17 +87,7 @@ {%- endmacro %} {%- macro script() %} - <script type="text/javascript"> - var DOCUMENTATION_OPTIONS = { - URL_ROOT: '{{ url_root }}', - VERSION: '{{ release|e }}', - LANGUAGE: '{{ language }}', - COLLAPSE_INDEX: false, - FILE_SUFFIX: '{{ '' if no_search_suffix else file_suffix }}', - HAS_SOURCE: {{ has_source|lower }}, - SOURCELINK_SUFFIX: '{{ sourcelink_suffix }}' - }; - </script> + <script type="text/javascript" src="{{ pathto('_static/documentation_options.js', 1) }}"></script> {%- for scriptfile in script_files %} <script type="text/javascript" src="{{ pathto(scriptfile, 1) }}"></script> {%- endfor %} |
