bug#7773: (lack of) config.h description in manual

[Ralf Wildenhues]

Hello Jack,

* Jack Kelly wrote on Tue, Jan 04, 2011 at 03:53:44PM CET:
> I disagree that `make prefix=... install' is a poor man's DESTDIR.

OK ok, I didn't mean to offend anyone here.

> Installing using DESTDIR will install things in
> $(DESTDIR)/$(prefix)/bin (and so on), which is a right pain when it
> comes to using something like GNU Stow to manage /usr/local.

Sure.  Still, please don't top-post.

Thanks,
Ralf