Documentation in texinfo format.

[Eli Zaretskii]

> Date: Sat, 25 Aug 2007 13:06:13 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> CC: gdb@sourceware.org
> 
> For PDF files, I believe you will need to say something like
> 
>     make info -f Makefile.in srcdir=. pdfdir=.

Oops, cut-n-paste error.  I meant this:

    make pdf -f Makefile.in srcdir=. pdfdir=.