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