[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Merging dev/texi2html [was: Re: Clean history]
From: |
Reinhold Kainhofer |
Subject: |
Re: Merging dev/texi2html [was: Re: Clean history] |
Date: |
Thu, 21 Aug 2008 01:14:22 +0200 |
User-agent: |
KMail/1.9.9 |
-----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-----
- Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/19
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/19
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/20
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/20
- Re: Merging dev/texi2html [was: Re: Clean history], Francisco Vila, 2008/08/20
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/20
- Re: Merging dev/texi2html [was: Re: Clean history],
Reinhold Kainhofer <=
- Re: Merging dev/texi2html [was: Re: Clean history], Han-Wen Nienhuys, 2008/08/20
- Re: Merging dev/texi2html [was: Re: Clean history], Valentin Villenave, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/26
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/21
- Re: Merging dev/texi2html, Werner LEMBERG, 2008/08/21