Georg Brandl added the comment:
@ 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.
Python tracker <rep...@bugs.python.org>
Python-bugs-list mailing list