view src/build-texinfo-1-fixes.patch @ 4058:c7e31c07c915

of-sparsrb: add new package * src/librsb.mk: new file * src/librsb-1-nobzero.patch: new patch * src/of-sparsersb.mk: new file * src/of-sparsersb-1-cross-build.patch: new patch * src/libgomp.mk: install libgomp.spec to build tools * build_packages.m: add sparserb package * index.html: add librsb and of-sparsersb packages * Makefile.in: add sparsersb package to of-
author John Donoghue <john.donoghue@ieee.org>
date Sun, 22 Nov 2015 19:01:31 -0500
parents 596a5f3baf08
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