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

yselivanov.ml at gmail.com yselivanov.ml at gmail.com
Fri Oct 26 20:48:15 CEST 2012


http://bugs.python.org/review/16331/diff/6400/Doc/conf.py
File Doc/conf.py (right):

http://bugs.python.org/review/16331/diff/6400/Doc/conf.py#newcode72
Doc/conf.py:72: html_short_title = 'Documentation'
On 2012/10/26 20:34:11, ezio.melotti wrote:
> 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).

I' check that.  Don't apply this version of the patch please ;)

http://bugs.python.org/review/16331/


More information about the docs mailing list