[issue14215] http://www.python.org/dev/peps/ title is python.org

2012-11-11 Thread Georg Brandl
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

[issue14215] http://www.python.org/dev/peps/ title is python.org

2012-11-11 Thread Georg Brandl
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

[issue14215] http://www.python.org/dev/peps/ title is python.org

2012-11-09 Thread Ramchandra Apte
Ramchandra Apte added the comment: Bump. -- ___ Python tracker rep...@bugs.python.org http://bugs.python.org/issue14215 ___ ___ Python-bugs-list mailing list Unsubscribe:

[issue14215] http://www.python.org/dev/peps/ title is python.org

2012-06-17 Thread Michael Foord
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? --

[issue14215] http://www.python.org/dev/peps/ title is python.org

2012-06-17 Thread Nick Coghlan
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

[issue14215] http://www.python.org/dev/peps/ title is python.org

2012-06-17 Thread Ezio Melotti
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

[issue14215] http://www.python.org/dev/peps/ title is python.org

2012-06-17 Thread Nick Coghlan
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

[issue14215] http://www.python.org/dev/peps/ title is python.org

2012-06-16 Thread Nick Coghlan
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

[issue14215] http://www.python.org/dev/peps/ title is python.org

2012-06-04 Thread Ramchandra Apte
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 ___

[issue14215] http://www.python.org/dev/peps/ title is python.org

2012-06-04 Thread R. David Murray
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

[issue14215] http://www.python.org/dev/peps/ title is python.org

2012-03-07 Thread Éric Araujo
Changes by Éric Araujo mer...@netwok.org: -- nosy: +eric.araujo ___ Python tracker rep...@bugs.python.org http://bugs.python.org/issue14215 ___ ___ Python-bugs-list

[issue14215] http://www.python.org/dev/peps/ title is python.org

2012-03-06 Thread Ramchandra Apte
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: