Re: Merging dev/texi2html

[Werner LEMBERG]

> Roughly 26.500 of the lines come from the font generation, which spills out 
> loads of lines, which are absolutely incomprehensible to any mortal (each 
> glyph in each of our differently-sized fonts gets a line with several numbers 
> associated to the glyph). Do we really need that excessive output?

No.  The data is stored in logfiles anyway.

> Is there any way to turn that off, anyway?

Just redirect the output to devnull.


    Werner