fmt_info.pl: No need of '\input texinfo' in resulting info file.

parent 5b7f14ec
......@@ -139,6 +139,9 @@ $info->{postASP} = sub {
# Change to something useful origin filename given by makeinfo
$infotext =~ s/$texifile/$fileinfo/;
# Remove not needed line in resulting info file. Only first match.
$infotext =~ s/\\input texinfo//;
open ($OUTFILE, "> $infofile")
or die "Could not open $infofile for write. Aborting ... \n";
print $OUTFILE $infotext;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment