diff -r 2b7e58153d11 Doc/tools/sphinxext/layout.html --- a/Doc/tools/sphinxext/layout.html Fri Oct 26 22:40:56 2012 +0300 +++ b/Doc/tools/sphinxext/layout.html Sat Oct 27 09:56:54 2012 +0200 @@ -3,11 +3,19 @@
  • Python{{ reldelim1 }}
  • -
  • {{ shorttitle }}{{ reldelim1 }}
  • +
  • + {%- if versionswitcher is defined %} + {{ release }} + Documentation{{ reldelim1 }} + {%- else %} + {{ shorttitle }}{{ reldelim1 }} + {%- endif %} +
  • {% endblock %} {% block extrahead %} {% if not embedded %}{% endif %} + {% if versionswitcher is defined %}{% endif %} {% if pagename == 'whatsnew/changelog' %}