Brooks Moses wrote:
> The attached patch implements "make pdf" in all of the parts of src/ 
> included in the GDB source tarball, and also implements "make 
> install-pdf" within src/gdb.
[...]
> etc/ChangeLog -------------------------------------------------
> 2007-02-20  Brooks Moses  <brooks.moses@codesourcery.com>
> 
> 	* Makefile.in: Add support for a "pdf" target.

Argh -- I just realized that this bit of the patch doesn't actually do 
what it's supposed to, though the "make dvi" rules in etc/Makefile.in 
that I copied are too clever by half and thus fail silently rather than 
breaking.  The attached revised patch does the right thing, and also 
implements an "install-pdf" target (based off the "install-info" 
target).  Thus, the revised ChangeLog line:

etc/ChangeLog -------------------------------------------------
2007-02-20  Brooks Moses  <brooks.moses@codesourcery.com>

  	* Makefile.in: Add support for "pdf" and "install-pdf" targets.

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

One relevant note is that this now depends on epstopdf to generate the 
figures for configure.pdf from the .eps versions.  This is a script 
included with the standard TeX distribution (needed for texi2dvi to 
run), though, so I don't think it's a worrisome extra dependency.

Again, tested on i686-pc-linux-gnu, and this time I made sure _all_ the 
pdf files were generated correctly!  :)

- Brooks