[CVS 2008-11-25] There are some command line problems in texi2html.
. texi2html's option -E suppresses creation of the default output
file. Since texi2html shall replace makeinfo completely, it
should rather produce the output file instead for compatibility.
. texi2html doesn't understand `-o /dev/null'. It aborts with
*** /dev/ not writable
Werner
