Re: Various updates to reduce make doc output (issue 5727055)

[Phil Holmes]

----- Original Message ----- 
From: "Graham Percival" <address@hidden>
To: "Phil Holmes" <address@hidden>
Cc: "Trevor Daniels" <address@hidden>; "Carl Sorensen" 
<address@hidden>; "Lily-Devel List" <address@hidden>
Sent: Thursday, March 15, 2012 3:20 PM
Subject: Re: Various updates to reduce make doc output (issue 5727055)


> On Thu, Mar 15, 2012 at 03:06:22PM +0000, Graham Percival wrote:
> > On Thu, Mar 15, 2012 at 08:59:53AM -0000, Phil Holmes wrote:
> > > Can I please now quieten this warning using the explicit command
> > > line switch --quiet?
> >
> > huh?  I'm sorry, but I think this points to a different lesson.
> > If we explicitly throw away warnings with --quiet, then we'll miss
>
> Sorry, I forgot again that we were talking about make doc and not
> make test.  As long as make test still prints or saves the warning
> to a logfile, I'm happy with make doc throwing it away.
>
> - Graham

In that case I withdraw my previous aargh...


--
Phil Holmes