Debian texinfo 6.1 packages

[Kurt Hornik <Kurt.Hornik@wu.ac.at>]

Friends,

The Texinfo 6.1 texi2dvi script had a major bug preventing it from
rerunning as often as necessary in many cases (and in particular,
resulting in R no longer building).

This has meanwhile been fixed in the Texinfo SVN with c7031.

I attach the patch below: can you please apply this patch and provide
new texinfo packages for testing/unstable as quickly as possible?

Best
-k

Index: texi2dvi
===================================================================
--- texi2dvi	(revision 7030)
+++ texi2dvi	(revision 7031)
@@ -988,7 +988,8 @@
 #                         that match PREDICATE.
 filter_files ()
 {
-  test -n "$xref_files_new" && echo "$xref_files_new" |
+  test -n "$xref_files_new" || return 0
+  echo "$xref_files_new" |
   # Filter existing files matching the criterion.
   #
   while read file; do