[Python-Dev] converting PEPs to HTML

[Fredrik Lundh]

I've hacked a little more on the conversion script.  here's
the resulting HTML files:

    http://w1.132.telia.com/~u13208596/peps/

and here's the script itself:

    http://w1.132.telia.com/~u13208596/peps/pepfixup.py

enjoy /F