diff options
| -rw-r--r-- | Doc/tools/sphinxext/static/version_switch.js | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Doc/tools/sphinxext/static/version_switch.js b/Doc/tools/sphinxext/static/version_switch.js index cc99153..363bebf 100644 --- a/Doc/tools/sphinxext/static/version_switch.js +++ b/Doc/tools/sphinxext/static/version_switch.js @@ -52,8 +52,12 @@ } $(document).ready(function() { - var select = build_select(DOCUMENTATION_OPTIONS.VERSION, - DOCUMENTATION_OPTIONS.RELEASE); + var version = DOCUMENTATION_OPTIONS.VERSION.split('.'), + release = DOCUMENTATION_OPTIONS.RELEASE || DOCUMENTATION_OPTIONS.VERSION; + + version = version[0] + '.' + version[1]; + var select = build_select(version, release); + $('.version_switcher_placeholder').html(select); $('.version_switcher_placeholder select').bind('change', on_switch); }); |