%% Petr Slansky <[EMAIL PROTECTED]> writes:
ps> There is an alterntaive --always-make for -B option, from my point
ps> of view, --rebuild-all will be better but I am happy with
ps> --alwayes-make too.
I considered and rejected "rebuild-all" because I was concerned people
might think that it
%% Henning Makholm <[EMAIL PROTECTED]> writes:
hm> No, it's not in the man page, but the man page explicitly states
hm> that it isn't being kept up-to-date. (If somebody cares enough
hm> about manpages to do the work, they'll probably contribute a patch
hm> for make.1).
Someone sent me a
