Ticket #22437: patch-fmt_info.pl.diff
File patch-fmt_info.pl.diff, 425 bytes (added by mklein-de (Michael Klein), 15 years ago) |
---|
-
lib/fmt/fmt_info.pl
old new 142 142 close $TMPINFO; 143 143 144 144 # Change to something useful origin filename given by makeinfo 145 $infotext =~ s/ $texifile/$fileinfo/;145 $infotext =~ s/\Q$texifile\E/$fileinfo/; 146 146 147 147 # Remove not needed line in resulting info file. Only first match. 148 148 $infotext =~ s/\\input texinfo//;