Re: make 3.80: -B option is not documented in man and info pages

[Paul D. Smith]

%% Petr Slansky <address@hidden> 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 would build all targets in the makefile.

That's not what it does: it only builds the targets that it would
normally build, it just always decides they're out of date.

So I thought "always-make" was a better description.

-- 
-------------------------------------------------------------------------------
 Paul D. Smith <address@hidden>          Find some GNU make tips at:
 http://www.gnu.org                      http://make.paulandlesley.org
 "Please remain calm...I may be mad, but I am a professional." --Mad Scientist