The http://www.python.org/dev/peps browser title is python.org
I suggest it should be changed to "PEP Index".

What it the status of this bug?

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.

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 as part of the python.org RFP.

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?

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 available for the other PEPs. It does appear the individual PEPs and the index do use differently templates though, so that may be the source of the discrepancy.

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.

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.

Bump.

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.

@ Nick/Ezio: the catch was that the /dev/peps/ directory is handled in addition to /dev/peps/pep-0000/, 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 copied over to its directory.