I need to generate other outputs too (html and docbook). I thought docbook enforces its own kind of numbering anyway. (Among many other things.)
As for HTML, sorry, I can't quite imagine an easy way to munge its output. Maybe through some fancy style sheet thing? You're right that what I sent before will only get you the TeX output. Best, Karl _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo [email protected] http://lists.gnu.org/mailman/listinfo/help-texinfo
