From 3d072066c75865b230d27538c5c3afb9875321f9 Mon Sep 17 00:00:00 2001 From: Ezio Melotti Date: Sat, 27 Oct 2012 22:04:56 +0300 Subject: #8040: add a version switcher to the documentation. Patch by Yury Selivanov. --- Doc/tools/sphinxext/layout.html | 13 +++++- Doc/tools/sphinxext/static/version_switch.js | 60 ++++++++++++++++++++++++++++ Misc/ACKS | 1 + Misc/NEWS | 3 ++ 4 files changed, 75 insertions(+), 2 deletions(-) create mode 100644 Doc/tools/sphinxext/static/version_switch.js diff --git a/Doc/tools/sphinxext/layout.html b/Doc/tools/sphinxext/layout.html index d4bb105..4b16b3f 100644 --- a/Doc/tools/sphinxext/layout.html +++ b/Doc/tools/sphinxext/layout.html @@ -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 %}