mirror of
https://github.com/git/git.git
synced 2024-11-07 17:53:12 +01:00
5ada3696f6
We already had a hack to exclude @pxref{[URLS]} from the texi stream that
refers to nonexistent anchor.
This allows "make info" to produce gitman.info again.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
38 lines
626 B
Perl
Executable file
38 lines
626 B
Perl
Executable file
#!/usr/bin/perl -w
|
|
|
|
my @menu = ();
|
|
my $output = $ARGV[0];
|
|
|
|
open TMP, '>', "$output.tmp";
|
|
|
|
while (<STDIN>) {
|
|
next if (/^\\input texinfo/../\@node Top/);
|
|
next if (/^\@bye/ || /^\.ft/);
|
|
if (s/^\@top (.*)/\@node $1,,,Top/) {
|
|
push @menu, $1;
|
|
}
|
|
s/\(\@pxref{\[(URLS|REMOTES)\]}\)//;
|
|
print TMP;
|
|
}
|
|
close TMP;
|
|
|
|
printf '\input texinfo
|
|
@setfilename gitman.info
|
|
@documentencoding us-ascii
|
|
@node Top,,%s
|
|
@top Git Manual Pages
|
|
@documentlanguage en
|
|
@menu
|
|
', $menu[0];
|
|
|
|
for (@menu) {
|
|
print "* ${_}::\n";
|
|
}
|
|
print "\@end menu\n";
|
|
open TMP, '<', "$output.tmp";
|
|
while (<TMP>) {
|
|
print;
|
|
}
|
|
close TMP;
|
|
print "\@bye\n";
|
|
unlink "$output.tmp";
|