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> <http://bugs.python.org/issue14215> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com