[patch] Implement "make pdf" and "make install-pdf" targets.

[Daniel Jacobowitz]

On Fri, Feb 23, 2007 at 01:26:11AM -0800, Brooks Moses wrote:
> Again, tested on i686-pc-linux-gnu, and this time I made sure _all_ the 
> pdf files were generated correctly!  :)

I think these are both OK, unless Eli would like to take a look at
them, as our documentation guru.

Assuming Eli has no objections, should I commit these for you?

-- 
Daniel Jacobowitz
CodeSourcery