- release 1.

[packages/texinfo.git] / texinfo-fileextension.patch

--- 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