view src/texinfo-1-fixes.patch @ 3926:ee802fc5dd9b

gcc: update to 5.1.0, update isl, libgpg_error * src/build-gcc.mk: update version, checksum, remove cloog as a dependancy * src/gcc-isl-1-fixes.patch: remove patch * src/isl-1-fixes.patch: update patch * src/isl.mk: update version, checksum * src/libgpg_error-1-fixes.patch: remove patch * src/libgpg_error.mk: update version, checksum * src/native-gcc.mk: update version, checksum, remove cloog as a dependancy * dist-files.mk: remove gcc-isl-1-fixes.patch, libgpg_error-1-fixes.patch
author John D
date Sun, 03 May 2015 20:38:29 -0400
parents 63798d0032c2
children
line wrap: on
line source

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