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

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 cop

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

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

Ramchandra Apte added the comment: Bump. -- ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.

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

Nick Coghlan 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

Ezio Melotti 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 index.

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

Nick Coghlan 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" information as is av

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

Michael Foord 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

Nick Coghlan 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 list to look into a

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

R. David Murray 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 ___ Python tracker

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

Ramchandra Apte added the comment: What it the status of this bug? -- ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubs

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

Changes by Éric Araujo : -- nosy: +eric.araujo ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.pyth

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

New submission from Ramchandra Apte : 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: http://www.python.org/dev/peps/ title is pyt