[Python-Dev] www.python.org/doc and docs.python.org hotfixed

["Martin v. Löwis"]

>> Wouldn't that require changes to the old pages?
> 
> Hopefully just to whatever common templating they're using.  I'm not
> familiar with how they're generated though.

That's exactly the problem: they are generated. I don't think it's
feasible to regenerate them, and still expect the output to be the
same. Also, I don't think the generator supports templating in the
way you might expect it to. To be specific, it's latex2html.

Regards,
Martin