summaryrefslogtreecommitdiff
path: root/sphinx/themes/basic/layout.html
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2018-01-14 23:31:30 +0900
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2018-01-14 23:31:30 +0900
commitde023f2dc0972fc398975c5614caf89149a2de16 (patch)
treea302c850f171f71872f84692194e6966086d1fef /sphinx/themes/basic/layout.html
parent0d61b251c5a6d55eb8a0ce6977e72078664e0a06 (diff)
downloadsphinx-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.html12
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 %}