Re: Merging dev/texi2html [was: Re: Clean history]

[Reinhold Kainhofer]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Am Mittwoch, 20. August 2008 schrieb Reinhold Kainhofer:
> Am Mittwoch, 20. August 2008 schrieben Sie:
> > Just curiosity, what's the size of this redirected output file?
> >
> > Secondly: let's assume it's a million lines worth (this much it seems
> > to me).
>
> It's not THAT bad: A clean "make" and "make web" is "just" a bit over
> 133.000 lines, resulting in a redirected output file of 15MB (The file has
> 15.2 Mio. characters)... 

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? Is there 
any way to turn that off, anyway?

Cheers,
Reinhold
- -- 
- ------------------------------------------------------------------
Reinhold Kainhofer, Vienna University of Technology, Austria
email: address@hidden, http://reinhold.kainhofer.com/
 * Financial and Actuarial Mathematics, TU Wien, http://www.fam.tuwien.ac.at/
 * K Desktop Environment, http://www.kde.org, KOrganizer maintainer
 * Chorvereinigung "Jung-Wien", http://www.jung-wien.at/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFIrKVRTqjEwhXvPN0RAhZSAJ0Rns0RJRTJSNbLih/IsJ9D5hzOWwCgmj71
FeFozIYxXF/vvftTqaGRWhg=
=az+Y
-----END PGP SIGNATURE-----