Georg Brandl added the comment:
Fixed with commit 11779150cf87 in the peps repo. May need a PEP addition or
PEP title change to trigger, but it's too minor to force that right now.
--
nosy: +georg.brandl
resolution: - fixed
status: open - closed
Georg Brandl added the comment:
@ Nick/Ezio: the catch was that the /dev/peps/ directory is handled in addition
to /dev/peps/pep-/, which always had a nice title.
For all PEPs, four files are generated (although it seems sufficient to have
two), while for /dev/peps/, only body.html was
Ramchandra Apte added the comment:
Bump.
--
___
Python tracker rep...@bugs.python.org
http://bugs.python.org/issue14215
___
___
Python-bugs-list mailing list
Unsubscribe:
Michael Foord mich...@voidspace.org.uk added the comment:
As the PEPs are development docs, like the Python documentation itself, I
wouldn't have *expected* it to be covered by the redesign. Does this require
anything more than an update to the PEP index template?
--
Nick Coghlan ncogh...@gmail.com added the comment:
I'm expecting the pep2pyramid.py part to change at the very least.
However, back on topic, I actually hit the limits of my knowledge of the PEP
build process reading that script.
As near as I can tell, PEP 0 should have the same title
Ezio Melotti ezio.melo...@gmail.com added the comment:
The title for the PEPs seem to be set in the fixfile function, at the line 206.
Maybe something like:
if pep:
title = PEP + pep + -- + title
else:
title = PEP index
works, assuming that only title-less page is the
Nick Coghlan ncogh...@gmail.com added the comment:
As near as I can tell, pep will hold the string value 0 for the PEP index,
thus the title should still be getting set. That's why I suspect a templating
difference.
--
___
Python tracker
Nick Coghlan ncogh...@gmail.com added the comment:
This is actually related to the integration between the PEP formatting tools
and the python.org build system (that is, pep2pyramid.py, rather than
genpepindex.py)
I'm inclined to close it as won't fix and maybe pass it to the psf-redesign
Ramchandra Apte maniandra...@gmail.com added the comment:
What it the status of this bug?
--
___
Python tracker rep...@bugs.python.org
http://bugs.python.org/issue14215
___
R. David Murray rdmur...@bitdance.com added the comment:
Presumably the PEP 0 generator needs a patch, but that's not something most of
us ever touch. I've added Nick to nosy, I think he made changes to it last.
--
nosy: +ncoghlan, r.david.murray
Changes by Éric Araujo mer...@netwok.org:
--
nosy: +eric.araujo
___
Python tracker rep...@bugs.python.org
http://bugs.python.org/issue14215
___
___
Python-bugs-list
New submission from Ramchandra Apte maniandra...@gmail.com:
The http://www.python.org/dev/peps browser title is python.org
I suggest it should be changed to PEP Index.
--
messages: 155051
nosy: ramchandra.apte
priority: normal
severity: normal
status: open
title:
12 matches
Mail list logo