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

[Daniel Jacobowitz]

On Tue, Feb 27, 2007 at 10:37:09PM +0200, Eli Zaretskii wrote:
> > Date: Tue, 27 Feb 2007 12:28:18 -0500
> > From: Daniel Jacobowitz <drow@false.org>
> > Cc: gdb-patches@sources.redhat.com, Eli Zaretskii <eliz@gnu.org>
> > 
> > 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?
> 
> I have no objections.  The reason I didn't respond was that the bulk
> of the change was about directories other than gdb, so I assumed,
> perhaps mistakenly, that someone else needs to approve such a broad
> change.

No, I think you're generally correct (although you could actually do
it yourself, if you were comfortable with the build system bits).
Anyway, I wanted your opinion before I went ahead :-)

I'll apply the patch later or tomorrow.

-- 
Daniel Jacobowitz
CodeSourcery