Re: Use makeinfo --html for HTML manuals

[Carlos O'Donell <carlos at codesourcery dot com>]

Joseph S. Myers wrote:
> On Sat, 18 Apr 2009, Eli Zaretskii wrote:
>
> > Why the discrepancy wrt the use of the -I $(srcdir) switch between the
> > commands for different manuals?  I'd prefer them all to use that
> > switch, even if some of them do not @include any other files, to avoid
> > surprises if we some day add such directives.
>
> I'd agree they should all use that consistently with the options used for 
> building info output.  (And indeed that the DVI and PDF rules should be 
> using -I as well instead of the older approach of setting TEXINPUTS that 
> probably predates -I support in texi2dvi in 4.0, and all rules for a given 
> manual should use the same directories.)  I didn't change the existing 
> (inconsistent) rules here, but it would be a worthwhile cleanup.

Joseph, thanks for working on getting this upstream.

Cheers,
Carlos.
--
Carlos O'Donell
CodeSourcery
carlos@codesourcery.com
(650) 331-3385 x716