changeset: 79977:9505a34b4484 branch: 3.3 parent: 79973:45764e4bb504 parent: 79976:35a2a0e166d0 user: Ezio Melotti date: Sat Oct 27 22:11:33 2012 +0300 files: Doc/tools/sphinxext/layout.html Misc/NEWS description: #8040: merge with 3.2. diff -r 45764e4bb504 -r 9505a34b4484 Doc/tools/sphinxext/layout.html --- a/Doc/tools/sphinxext/layout.html Sat Oct 27 14:55:25 2012 -0400 +++ b/Doc/tools/sphinxext/layout.html Sat Oct 27 22:11:33 2012 +0300 @@ -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 and not embedded %}{% endif %} {% if pagename == 'whatsnew/changelog' %}