Re: what should be installed in the default case?

[Karl Berry]

    Maybe a --texi2html and a --gnu option for argument
    parsing and default when processing html? 

Maybe just one option with an argument?  As in:
--program=texi2html or --program=makeinfo or --program=texi2any.

    But for texi2html, I still think that it should not be installed with 
    a make install, but something like make install-texi2html.

Ok.  Maybe a configure option would be convenient for people: configure
--enable-texi2html.  But just a make option sounds ok too.

Thanks,
k