> From: Lars Marius Garshol <larsga@ifi.uio.no>
> Date: 16 Jun 1999 16:59:53 +0200
>
> You could very well use htmllib and just make an htmllib application
> that writes the HTML back out again, and modify it slightly to do
> heading numbering. I don't think HTMLFormatter would do you any good
> for this sort of thing.
>
[MCepl] That was exactly my question: how to make filter with
htmllib.py doing nothing and just copying HTML input on output?
Matthew
> Date: 16 Jun 1999 16:59:53 +0200
>
> You could very well use htmllib and just make an htmllib application
> that writes the HTML back out again, and modify it slightly to do
> heading numbering. I don't think HTMLFormatter would do you any good
> for this sort of thing.
>
[MCepl] That was exactly my question: how to make filter with
htmllib.py doing nothing and just copying HTML input on output?
Matthew