summaryrefslogtreecommitdiff
path: root/sphinx_rtd_theme/layout.html
diff options
context:
space:
mode:
authorJordan Wiens <jordan@psifertex.com>2018-11-26 22:48:18 -0500
committerJordan Wiens <jordan@psifertex.com>2018-11-26 22:48:18 -0500
commitf6b36a82a9fa7428c7e136f5ef101f846fd326e8 (patch)
tree7e1459afa48d2aa3c52b3e3f0b91688948403e53 /sphinx_rtd_theme/layout.html
parent5f7f0c4624dc51e1ccc44eb839860e36490e54ce (diff)
only include specific version in one file to minimize update churn
Diffstat (limited to 'sphinx_rtd_theme/layout.html')
-rw-r--r--sphinx_rtd_theme/layout.html17
1 files changed, 6 insertions, 11 deletions
diff --git a/sphinx_rtd_theme/layout.html b/sphinx_rtd_theme/layout.html
index fe669206..1693e79e 100644
--- a/sphinx_rtd_theme/layout.html
+++ b/sphinx_rtd_theme/layout.html
@@ -109,7 +109,12 @@
{% endif %}
{% if nav_version %}
<div class="version">
- {{ nav_version }}
+ <script>
+ window.addEventListener("load", function() {
+ var ver = document.getElementsByClassName("version");
+ ver[0].innerHTML = DOCUMENTATION_OPTIONS['VERSION'];
+ });
+ </script>
</div>
{% endif %}
{% endif %}
@@ -164,16 +169,6 @@
{% if not embedded %}
-<!-- <script type="text/javascript">
- var DOCUMENTATION_OPTIONS = {
- URL_ROOT:'{{ url_root }}',
- VERSION:'{{ release|e }}',
- COLLAPSE_INDEX:false,
- FILE_SUFFIX:'{{ '' if no_search_suffix else file_suffix }}',
- HAS_SOURCE: {{ has_source|lower }}
- };
- </script>
--->
{% if sphinx_version >= "1.8.0" %}
<script type="text/javascript" id="documentation_options" data-url_root="{{ pathto('', 1) }}" src="{{ pathto('_static/documentation_options.js', 1) }}"></script>
{%- for scriptfile in script_files %}