6 open TMP
, '>', "$output.tmp";
9 next if (/^\\input texinfo/../\@node Top/);
10 next if (/^\@bye/ || /^\.ft/);
11 if (s/^\@top (.*)/\@node $1,,,Top/) {
14 s/\(\@pxref{\[URLS\]}\)//;
19 printf '\input texinfo
20 @setfilename gitman.info
21 @documentencoding us-ascii
32 open TMP
, '<', "$output.tmp";