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

[Brooks Moses <brooks@codesourcery.com>]

[-- Attachment #1: Type: text/plain, Size: 631 bytes --]

As Daniel Jacobowitz pointed out to me with regards to my recent
makefile patch, GDB (unlike GCC) does not assume that it is being built
with GNU make.  The current documentation does not comment on this point
one way or the other, and so I propose the attached patch to make this
clear.

Tested with "make pdf".  Ok to commit?

- Brooks

---------------------------------------------------------------------
2007-11-06  Brooks Moses  <brooks@codesourcery.com>

	* doc/gdb.texinfo (Requirements): Document that GDB
	should build with any POSIX-compliant make.

---------------------------------------------------------------------

[-- Attachment #2: 2007-11-06_doc_make.diff --]
[-- Type: text/plain, Size: 620 bytes --]

Index: gdb/doc/gdb.texinfo
===================================================================
RCS file: /cvs/src/src/gdb/doc/gdb.texinfo,v
retrieving revision 1.441
diff -U3 -r1.441 gdb.texinfo
--- gdb/doc/gdb.texinfo	30 Oct 2007 19:35:35 -0000	1.441
+++ gdb/doc/gdb.texinfo	7 Nov 2007 03:09:19 -0000
@@ -22185,6 +22185,10 @@
 @value{GDBN} is written in ISO C90.  It should be buildable with any
 working C90 compiler, e.g.@: GCC.
 
+@item make
+The @value{GDBN} makefiles are compatible with any @sc{posix}-compliant
+implementation of make.
+
 @end table
 
 @heading Tools/Packages Optional for Building @value{GDBN}