[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