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