---- Jeff Chua <[EMAIL PROTECTED]> wrote: > For those who does minimal install. In this case, texi2html would not > be available on the system. I've seen quite a few systems without > texi2html. > > Again, the patch is not a MUST, but it's nice not to see unnecessary warning.
I suppose you could do a -n "`texi2html -verbose 2>&1 | head -1 |grep 'This is texi2html'`" which would be more representative if you have texi2html or not. Ben
