30 lines
912 B
Diff
30 lines
912 B
Diff
diff -up texinfo-6.1/util/texi2dvi.orig texinfo-6.1/util/texi2dvi
|
|
--- texinfo-6.1/util/texi2dvi.orig 2016-02-06 13:21:52.000000000 +0100
|
|
+++ texinfo-6.1/util/texi2dvi 2016-02-24 09:36:18.726954888 +0100
|
|
@@ -988,15 +988,16 @@ run_bibtex ()
|
|
# that match PREDICATE.
|
|
filter_files ()
|
|
{
|
|
- test -n "$xref_files_new" && echo "$xref_files_new" |
|
|
- # Filter existing files matching the criterion.
|
|
- #
|
|
- while read file; do
|
|
- $1 "$file"
|
|
- done |
|
|
- sort |
|
|
- # Some files are opened several times, e.g., listings.sty's *.vrb.
|
|
- uniq
|
|
+ test -n "$xref_files_new" || return 0
|
|
+ echo "$xref_files_new" |
|
|
+ # Filter existing files matching the criterion.
|
|
+ #
|
|
+ while read file; do
|
|
+ $1 "$file"
|
|
+ done |
|
|
+ sort |
|
|
+ # Some files are opened several times, e.g., listings.sty's *.vrb.
|
|
+ uniq
|
|
}
|
|
|
|
# run_index - Run texindex (or makeindex or texindy) on current index
|