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.

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