changeset: 79994:4a17784f2fee branch: 2.6 parent: 76213:f130ce67387d user: Georg Brandl date: Sun Oct 28 08:04:38 2012 +0100 files: Doc/Makefile Doc/tools/sphinxext/layout.html Doc/tools/sphinxext/static/version_switch.js description: #8040: port versionswitcher patch to 2.6. diff -r f130ce67387d -r 4a17784f2fee Doc/Makefile --- a/Doc/Makefile Tue Apr 10 14:50:39 2012 -0400 +++ b/Doc/Makefile Sun Oct 28 08:04:38 2012 +0100 @@ -164,7 +164,7 @@ # for development releases: always build autobuild-dev: make update - make dist SPHINXOPTS='-A daily=1' + make dist SPHINXOPTS='-A daily=1 -A versionswitcher=1' # for stable releases: only build if not in pre-release stage (alpha, beta, rc) autobuild-stable: diff -r f130ce67387d -r 4a17784f2fee Doc/tools/sphinxext/layout.html --- a/Doc/tools/sphinxext/layout.html Tue Apr 10 14:50:39 2012 -0400 +++ b/Doc/tools/sphinxext/layout.html Sun Oct 28 08:04:38 2012 +0100 @@ -2,17 +2,26 @@ {% block rootrellink %}
  • -
  • {{ shorttitle }}{{ reldelim1 }}
  • +
  • Python{{ reldelim1 }}
  • +
  • + {%- if versionswitcher is defined %} + {{ release }} + Documentation{{ reldelim1 }} + {%- else %} + {{ shorttitle }}{{ reldelim1 }} + {%- endif %} +
  • {% endblock %} {% block extrahead %} + {% if versionswitcher is defined and not embedded %}{% endif %} {{ super() }} {% endblock %} {% block footer %}