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

[Ezio Melotti]

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

----------
nosy: +ezio.melotti

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue14215>
_______________________________________