mirror of
https://github.com/git/git
synced 2024-08-27 11:39:22 +00:00
![Junio C Hamano](/assets/img/avatar_default.png)
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>
39 lines
626 B
Perl
Executable file
39 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";
|