Re: Documentation in texinfo format.

Eli Zaretskii
2007-08-25T10:11:46Z

> 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=.