proposal to remove Maxima private copy of texi2html



hello,

maxima has its own version of texi2html in maxima/doc/info/.
this is a copy (with minimal changes) of an older version of texi2html.
this version of texi2html doesn't understand accented characters,
so it cannot be used to generate html from the spanish and portuguese texinfo.

i have gotten good results on english, spanish, and portuguese
with texi2html 1.76 from cvshome.org.

i propose that the private copy of texi2html be removed, and texi2html 1.76
used for english as well as spanish and portuguese. 
i don't believe the private version has any advantages over 1.76.

there exists at least one other version of texi2html -- tetex bundles
a version of it. also there is makeinfo's built-in texi->html conversion.
i prefer 1.76 to either of those.

i look forward to your comments.

robert dodier