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 <>
Python-bugs-list mailing list

Reply via email to