changeset:   79984:36a35b86e3b0
branch:      3.2
parent:      79980:740be7346c92
user:        Ezio Melotti <ezio.melotti@gmail.com>
date:        Sat Oct 27 23:12:48 2012 +0300
files:       Doc/tools/sphinxext/static/version_switch.js
description:
#8040: fix the version.


diff -r 740be7346c92 -r 36a35b86e3b0 Doc/tools/sphinxext/static/version_switch.js
--- a/Doc/tools/sphinxext/static/version_switch.js	Sat Oct 27 22:28:48 2012 +0300
+++ b/Doc/tools/sphinxext/static/version_switch.js	Sat Oct 27 23:12:48 2012 +0300
@@ -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);
   });