Message175370
@ 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. |
|
Date |
User |
Action |
Args |
2012-11-11 15:46:40 | georg.brandl | set | recipients:
+ georg.brandl, ncoghlan, ezio.melotti, eric.araujo, r.david.murray, michael.foord, Ramchandra Apte |
2012-11-11 15:46:40 | georg.brandl | set | messageid: <1352648800.48.0.34136422961.issue14215@psf.upfronthosting.co.za> |
2012-11-11 15:46:40 | georg.brandl | link | issue14215 messages |
2012-11-11 15:46:40 | georg.brandl | create | |
|