[docs] Add a version switcher to python docs site (issue 16331)

ezio.melotti at gmail.com ezio.melotti at gmail.com
Fri Oct 26 20:34:11 CEST 2012

File Doc/conf.py (right):

Doc/conf.py:72: html_short_title = 'Documentation'
On 2012/10/26 19:53:25, yselivanov wrote:
> On 2012/10/26 19:48:52, ezio.melotti wrote:
> > I would leave this unchanged, in order to have the right title when
js is not
> > available.
> Eric,
> If JS is not available, then '''<span id="version_switcher">''' will
contain the
> release number, hence, for the user it will look like docs without
this patch
> applied.

Fair enough, assuming that this is true for all the places where
html_short_title was previously used (if there are more than one).

File Doc/tools/sphinxext/layout.html (right):

Doc/tools/sphinxext/layout.html:7: <span id="version_switcher">{{
release }}</span>
On 2012/10/26 19:56:45, yselivanov wrote:
> On 2012/10/26 19:48:52, ezio.melotti wrote:
> > This should probably be wrapped in an {% if not embedded %}
> Well, in the current patch it shouldn't be, as {{ shorttitle }} will
> display 'Documentation', and the <span> will display a release number.
> they look like they looked before the patch...



More information about the docs mailing list