[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Merging dev/texi2html [was: Re: Clean history]
From: |
John Mandereau |
Subject: |
Re: Merging dev/texi2html [was: Re: Clean history] |
Date: |
Tue, 26 Aug 2008 22:26:32 +0200 |
On 2008/08/21 23:18 +0200, Reinhold Kainhofer wrote:
> John Mandereau:
> > Good idea, but I'd rather set verbose output by default and document
> > VERBOSE_BUILD=0 in install.itely.
> > Verbose output is preferable by default,
>
> In that case, i would call the variable QUIET_BUILD or NON_VERBOSE_BUILD with
> inverse logic... That's just a tad more intuitive and suggests that verbose
> is the default.
Done: I added support for QUIET_BUILD, and documented it in INSTALL.
Cheers,
John
- Re: Merging dev/texi2html [was: Re: Clean history], (continued)
- 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, 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 <=
- 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
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/22
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/23
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/21