changeset: 79976:35a2a0e166d0 branch: 3.2 parent: 79972:abbfb89055d3 user: Ezio Melotti date: Sat Oct 27 22:09:16 2012 +0300 files: Doc/tools/sphinxext/layout.html Doc/tools/sphinxext/static/version_switch.js Misc/NEWS description: #8040: add a version switcher to the documentation. Patch by Yury Selivanov. diff -r abbfb89055d3 -r 35a2a0e166d0 Doc/tools/sphinxext/layout.html --- a/Doc/tools/sphinxext/layout.html Sat Oct 27 14:42:47 2012 -0400 +++ b/Doc/tools/sphinxext/layout.html Sat Oct 27 22:09:16 2012 +0300 @@ -3,18 +3,26 @@
  • 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 %} {{ super() }} {% endblock %} {% block footer %}