Re: install-html and install-pdf improvements

[Eli Zaretskii <eliz@gnu.org>]

> Date: Fri, 17 Apr 2009 11:47:39 +0000 (UTC)
> From: "Joseph S. Myers" <joseph@codesourcery.com>
> 
> This patch improves "make install-html" and "make install-pdf" support
> for GDB:
> 
> * There are toplevel configure options --with-htmldir and
>   --with-pdfdir to control where HTML and PDF manuals are installed.
>   This patch makes the gdb/ directory follow these rather than
>   hardcoding its own directory settings.

Thanks.

> * The readline and sim directories need some dummy rules so that these
>   targets work at toplevel.

I believe patches to readline need to be sent elsewhere.  We just
import their stuff.  Maybe sim as well.

> OK to commit?

Yes, but I don't understand why did you need to define docdir in
addition to pdfdir and htmldir.  Unlike the other two, docdir is not
used anywhere, so why define it?

Other than that, the patches to files in gdb/doc/ are approved.  The
patches to gdb/ directory are fine with me, but I'd like others to
comment on them as well.