Re: texi2html/makeinfo in dist

[Karl Berry]

    I think that all that relates to texi2html is gone.

BTW, do you intentionally not want to install a texi2html?
Seems like it could be useful, for people who are used to using it?

    Also setting the paths for texi2any called as makeinfo is a bit clumsy.

We should make it easy to get any behavior with any name, not only
depending on $0.  (The GNU standards go even further, saying that $0
should not be used to vary behavior at all, but I don't feel compelled
to follow that.)  For instance, we could support:
  texi2any --as=makeinfo
  makeinfo --as=texi2any
  texi2any --as=texi2html
  ...
with --as resetting the defaults to be that of the given program.
I feel like we talked about this at some point.  Is it too painful to do
for some reason?

Granted users might specify inconsistent options, e.g.,
  texi2any --html --as=makeinfo ...
but I think we can ignore that, and just treat --as like any other
option, which overrides options given before it and is overridden by
options given after it.

    If the --help output of texi2any.pl, 

Well, we should create man pages for all the programs we install, so
we'll need both makeinfo help and texi2any help.  I'll tackle that next.

Thanks,
k