[patch] Document that GDB does not assume GNU make.

Eli Zaretskii eliz@gnu.org
Wed Nov 7 04:20:00 GMT 2007


> Date: Tue, 06 Nov 2007 19:46:33 -0800
> From: Brooks Moses <brooks@codesourcery.com>
> 
> Tested with "make pdf".  Ok to commit?

Yes, but...

> +@item make

Please use &command{make} here.

> +The @value{GDBN} makefiles are compatible with any @sc{posix}-compliant
> +implementation of make.

@command{make} again.

Also, I'd rephrase this:

 Any @sc{posix}-compliant implementation of @command{make}.



More information about the Gdb-patches mailing list