changeset: 79975:006f9ade82f2 branch: 2.7 parent: 79971:715e5b337c91 user: Ezio Melotti date: Sat Oct 27 22:04:56 2012 +0300 files: Doc/tools/sphinxext/layout.html Doc/tools/sphinxext/static/version_switch.js Misc/ACKS Misc/NEWS description: #8040: add a version switcher to the documentation. Patch by Yury Selivanov. diff -r 715e5b337c91 -r 006f9ade82f2 Doc/tools/sphinxext/layout.html --- a/Doc/tools/sphinxext/layout.html Sat Oct 27 14:42:36 2012 -0400 +++ b/Doc/tools/sphinxext/layout.html Sat Oct 27 22:04:56 2012 +0300 @@ -2,18 +2,27 @@ {% block rootrellink %}
  • -
  • {{ shorttitle }}{{ reldelim1 }}
  • +
  • Python{{ 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 %}