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