[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: |
Wed, 20 Aug 2008 22:18:35 +0200 |
User-agent: |
KMail/1.9.9 |
-----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-----
- 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 <=
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/20
- 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