annotate src/texinfo-1-fixes.patch @ 4043:b54e00ea56bc

of-fl-core: readd fl-core patch in dos mode * src/of-fl-core-1-fixes.patch: readd patch
author John Donoghue
date Fri, 02 Oct 2015 10:24:38 -0400
parents 63798d0032c2
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3579
63798d0032c2 texinfo: revert back to 4.13a
John Donoghue
parents: 3578
diff changeset
1 diff -ru a/util/texi2dvi b/util/texi2dvi
63798d0032c2 texinfo: revert back to 4.13a
John Donoghue
parents: 3578
diff changeset
2 --- a/util/texi2dvi 2008-09-18 14:46:01.000000000 -0400
63798d0032c2 texinfo: revert back to 4.13a
John Donoghue
parents: 3578
diff changeset
3 +++ b/util/texi2dvi 2014-02-14 13:21:50.038015947 -0500
63798d0032c2 texinfo: revert back to 4.13a
John Donoghue
parents: 3578
diff changeset
4 @@ -1683,7 +1683,7 @@
63798d0032c2 texinfo: revert back to 4.13a
John Donoghue
parents: 3578
diff changeset
5
63798d0032c2 texinfo: revert back to 4.13a
John Donoghue
parents: 3578
diff changeset
6 # If the COMMAND_LINE_FILENAME is not absolute (e.g., --debug.tex),
63798d0032c2 texinfo: revert back to 4.13a
John Donoghue
parents: 3578
diff changeset
7 # prepend `./' in order to avoid that the tools take it as an option.
63798d0032c2 texinfo: revert back to 4.13a
John Donoghue
parents: 3578
diff changeset
8 - echo "$command_line_filename" | $EGREP '^(/|[A-z]:/)' >&6 \
63798d0032c2 texinfo: revert back to 4.13a
John Donoghue
parents: 3578
diff changeset
9 + echo "$command_line_filename" | $EGREP '^(/|[A-Za-z]:/)' >&6 \
63798d0032c2 texinfo: revert back to 4.13a
John Donoghue
parents: 3578
diff changeset
10 || command_line_filename="./$command_line_filename"
63798d0032c2 texinfo: revert back to 4.13a
John Donoghue
parents: 3578
diff changeset
11
63798d0032c2 texinfo: revert back to 4.13a
John Donoghue
parents: 3578
diff changeset
12 # See if the file exists. If it doesn't we're in trouble since, even