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

[Brooks Moses]

At 09:28 AM 2/27/2007, Daniel Jacobowitz wrote:
>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?

Please do, thanks!

- Brooks