Re: html texinfo install?

[Karl Berry]

    Seems fine to me.

Ok, good.  Thanks for the feedback.  If no objections surface, that's
what I'll propose to rms.

    I am against having separate install targets because GNU makefiles
    normally install everything by default and that is what users should

No, they don't currently install any Texinfo output format except Info.
And I don't see any particular reason why they should.  Why install
HTML, when we're not installing XML, Docbook, PS, PDF, or
who-knows-what-else?

    Installing everything is not a problem for distribution
    maintainers since they decide which files to package using their
    distribution tools.

Not as far as GNU goes.  If make install installs HTML, then they have
to provide HTML in the distribution .tar.gz -- exactly analogous to
Info.  Otherwise, every *installer* has to have the right version of
makeinfo installed, which is not feasible.

This has caused a lot of hassle with Info files, I get quite a few bug
reports about it (and I'm sure there's even more that don't make it to
me), and I'd just as soon not double the pain by forcing HTML output, too.

Thanks,
k