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