On Mon, Mar 01, 2010 at 12:16:35AM +0000, Karl Berry wrote: > 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.
Agreed on both. -- Pat
