Re: Patch: small reduction in output from make doc

[David Kastrup]

Carl Sorensen <address@hidden> writes:

> David Kastrup feels pretty strongly that progress messages belong on
> stderr along with warning/error messages, since ther are not the
> output of the program.

Actually, I feel progress messages belong on /dev/null.  Iff stderr is
on a tty, there may be some justification to put out some progress
indicators to it, but they should not take useful space: one can
compress successive progress messages by using CR and/or BS when going
on.

-- 
David Kastrup