`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 ...
