Re: Comment on documentation for GNU make

2002-09-12 Thread Paul D. Smith
%% "VomLehn, David" <[EMAIL PROTECTED]> writes: vd> I have been reading the single HTML page version of the GNU make vd> documentation and have found what appears to be a small vd> omission. I could find no mention of the use of the plus character vd> (+) in the beginning of command lines

Comment on documentation for GNU make

2002-09-12 Thread VomLehn, David
I have been reading the single HTML page version of the GNU make documentation and have found what appears to be a small omission. I could find no mention of the use of the plus character (+) in the beginning of command lines to indicate that the command is to be executed even if the -n flag