Re: html texinfo install?

[Karl Berry]

    `make html' is not a problem.  However if `make install-html'
    and `make uninstall-html' are introduced and must (as we all
    expect) install more than just makeinfo-generated files, then
    the GNU Coding Standards should also define a destination
    directory for these other files.  Something like $htmldir.

As long as we don't standardize install-html and uninstall-html, we
don't have to make a std directory.  I'd rather not.

The only reason I care about standardizing the texinfo-generated html is
so packages that don't use Autoconf (there are a few) will do the same
thing, and those darn cross-manual xrefs will work.  It's not really all
that terribly crucial, in the end.

However, since none of the autoconf maintainers have replied yet, I fear
this whole discussion is moot ...