texinfo-fileextension.patch

   1 --- texinfo-4.0/util/texi2dvi.20498     Wed Nov  8 09:59:26 2000
   2 +++ texinfo-4.0/util/texi2dvi   Wed Nov  8 09:59:56 2000
   3 @@ -470,7 +470,7 @@
   4      # before .aux and .?o?.
   5      index_files=`echo "$orig_xref_files" \
   6                   | sed "s!.*\.aux!!g;
   7 -                        s!./$filename_noext\..o.!!g;
   8 +                        s!./$filename_noext\..o[^ ]!!g;
   9                          s/^[ ]*//;s/[ ]*$//"`
  10      # Run texindex (or makeindex) on current index files.  If they
  11      # already exist, and after running TeX a first time the index