[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 14:14:10 +0200 |
User-agent: |
KMail/1.9.9 |
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Am Donnerstag, 21. August 2008 schrieb Valentin Villenave:
> 2008/8/21 Han-Wen Nienhuys <address@hidden>:
> > If you think it is too much, run it with >& log.txt and use a pager
> > to navigate it.
>
> Since we're adding make rules these days, how about a "make silent"
> rule or something like that?
I proposed a shell variable, e.g.
VERBOSE_BUILD=1 make
The build would then only be verbose if that variable is set. Otherwise:
- -) no --verbose is used
- -) debug output of metafont printed only to log files
- -) -q is used with texi2pdf
Of course, error messages (and probably also warnings) should still be
printed, but not so much debug output.
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)
iD8DBQFIrVwaTqjEwhXvPN0RAgkAAJ4/ryKIbChPMZYc4UlVW00nDRhQigCeL9pN
qvT7Io6bpbE+q0FUCzBhL78=
=YSgc
-----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, 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 <=
- 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
- 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/22