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

[Graham Percival]

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