Re: install-html and install-pdf improvements

[Eli Zaretskii <eliz@gnu.org>]

> Date: Fri, 17 Apr 2009 15:30:08 +0000 (UTC)
> From: "Joseph S. Myers" <joseph@codesourcery.com>
> cc: gdb-patches@sourceware.org
> 
> On Fri, 17 Apr 2009, Eli Zaretskii wrote:
> 
> > 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?
> 
> The default definitions of htmldir and pdfdir use ${docdir}

Sorry, I'm not following: what default definitions?  These variables
are used neither in your patch nor in the current doc/Makefile.in.
What am I missing?

> (When the src repository moves to newer 
> autoconf with native support for all these directory variables, the custom 
> configure code to deal with them will go away, and the makefiles will not 
> need any changes as they will already define all required variables.)

Well, you are talking here about something I don't know anything
about.  But we don't need to install today a change that will only be
needed at some future time.