HTML bettering?

[Fred L. Drake]

Lars Marius Garshol writes:
 > 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.

  Or you could add a skip=0 or seqnum=1 attribute to the first H?
element, and then use Grail to display it all... ;-)  (If Grail
detects header sequence information, it turns on auto-numbering.
Kinda neat! ;)


  -Fred

--
Fred L. Drake, Jr.	     <fdrake at acm.org>
Corporation for National Research Initiatives