# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1392402205 18000
# Node ID 596a5f3baf08549931147ca0ec4eb411a33f12d5
# Parent  6a6f257372b72ec76c375f711a42f9b471539548
fix texinfo egrep bug

diff -r 6a6f257372b7 -r 596a5f3baf08 src/build-texinfo-1-fixes.patch
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/build-texinfo-1-fixes.patch	Fri Feb 14 13:23:25 2014 -0500
@@ -0,0 +1,12 @@
+diff -ru a/util/texi2dvi b/util/texi2dvi
+--- a/util/texi2dvi	2008-09-18 14:46:01.000000000 -0400
++++ b/util/texi2dvi	2014-02-14 13:21:50.038015947 -0500
+@@ -1683,7 +1683,7 @@
+ 
+   # If the COMMAND_LINE_FILENAME is not absolute (e.g., --debug.tex),
+   # prepend `./' in order to avoid that the tools take it as an option.
+-  echo "$command_line_filename" | $EGREP '^(/|[A-z]:/)' >&6 \
++  echo "$command_line_filename" | $EGREP '^(/|[A-Za-z]:/)' >&6 \
+   || command_line_filename="./$command_line_filename"
+ 
+   # See if the file exists.  If it doesn't we're in trouble since, even
diff -r 6a6f257372b7 -r 596a5f3baf08 src/texinfo-1-fixes.patch
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/texinfo-1-fixes.patch	Fri Feb 14 13:23:25 2014 -0500
@@ -0,0 +1,12 @@
+diff -ru a/util/texi2dvi b/util/texi2dvi
+--- a/util/texi2dvi	2008-09-18 14:46:01.000000000 -0400
++++ b/util/texi2dvi	2014-02-14 13:21:50.038015947 -0500
+@@ -1683,7 +1683,7 @@
+ 
+   # If the COMMAND_LINE_FILENAME is not absolute (e.g., --debug.tex),
+   # prepend `./' in order to avoid that the tools take it as an option.
+-  echo "$command_line_filename" | $EGREP '^(/|[A-z]:/)' >&6 \
++  echo "$command_line_filename" | $EGREP '^(/|[A-Za-z]:/)' >&6 \
+   || command_line_filename="./$command_line_filename"
+ 
+   # See if the file exists.  If it doesn't we're in trouble since, even