[patch] Have texi2dvi work on mingw

[FX Coudert]

Current texinfo release (4.11) doesn't work on mingw (www.mingw.org)  
because the path separator is guessed wrong. I've checked the CVS  
sources and it seems to be still wrong. The following patch fixes it:

--- util/texi2dvi.old   Sat Feb 16 14:53:05 2008
+++ util/texi2dvi       Sat Feb 16 14:52:46 2008
@@ -177,7 +177,7 @@ IFS="       $newline"
 # Systems which define $COMSPEC or $ComSpec use semicolons to separate
 # directories in TEXINPUTS -- except for Cygwin, where COMSPEC  
might be
 # inherited, but : is used.
-if test -n "$COMSPEC$ComSpec" && uname | grep -iv cygwin >/dev/null;  
then
+if test -n "$COMSPEC$ComSpec" && uname | egrep -iv '(cygwin|mingw)'  
>/dev/null; then
   path_sep=";"
 else
   path_sep=":"


The idea is that mingw, even though it is a Windows host, uses ":" as  
a path separator. Without the patch, texi2dvi can't find the TeX  
installation, but with it, I've been able to build numerous docs. I  
hope this can make it into the next release.

Thanks,
FX

--
François-Xavier Coudert
http://www.homepages.ucl.ac.uk/~uccafco/