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

[Reinhold Kainhofer]

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

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)... And that's mainly because we already disabled the verbose 
output of texi2pdf.

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)

iD8DBQFIrHwfTqjEwhXvPN0RAtIGAJ9LNNldsY+/NevLu+aV/zWB0aKEPQCeIDTT
lf3jcsPxul9KJc/AjWsyvlg=
=NQ5B
-----END PGP SIGNATURE-----