Use makeinfo --html for HTML manuals

[Carlos O'Donell]

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