Re: install-html and install-pdf improvements

[Eli Zaretskii <eliz@gnu.org>]

> Date: Mon, 20 Apr 2009 15:50:36 -0400
> From: Carlos O'Donell <carlos@codesourcery.com>
> CC: Eli Zaretskii <eliz@gnu.org>,  gdb-patches@sourceware.org
> 
> The goal was to take a step towards behaving like the newer autoconf
> would behave, and to allow independent configuration for each directory.
> 
> There should be values of docdir and datarootdir defined in
> gdb/doc/Makefile.in, and if not specified, the values of pdfdir and
> htmldir should be set to defaults as defined in the GNU Coding Standard.
> 
> The patch does not implement this last requirement, but that was the idea.

Thanks for the explanations.

Is it possible to do this as you describe, including the last
requirement?  I'd prefer to have a setup with no lose ends, because a
year from now, none of us is likely to remember what we intended to
do, and someone some day will wonder what is this all about.

But if adding the missing pieces is beyond your current resources, I
won't fight; go ahead and commit the changes.

Thanks.