mirror of
https://github.com/git/git.git
synced 2024-10-30 22:07:53 +01:00
a7e1b15c54
The newly-added use of the warnings pragma exposes that the $menu[0] argument to printf has long been silently ignored, since there is no format specifier for it. It doesn't appear that the argument is actually needed, either: there is no reason to insert the name of one particular documentation page anywhere in the header that's being generated. Remove the unused argument, and since the format specification functionality is no longer needed, convert the printf to a simple print. Signed-off-by: brian m. carlson <sandals@crustytoothpaste.net> Signed-off-by: Junio C Hamano <gitster@pobox.com>
46 lines
805 B
Perl
Executable file
46 lines
805 B
Perl
Executable file
#!/usr/bin/perl -w
|
|
|
|
use strict;
|
|
use warnings;
|
|
|
|
my @menu = ();
|
|
my $output = $ARGV[0];
|
|
|
|
open my $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)\]}\)//;
|
|
s/\@anchor\{[^{}]*\}//g;
|
|
print $tmp $_;
|
|
}
|
|
close $tmp;
|
|
|
|
print '\input texinfo
|
|
@setfilename gitman.info
|
|
@documentencoding UTF-8
|
|
@dircategory Development
|
|
@direntry
|
|
* Git Man Pages: (gitman). Manual pages for Git revision control system
|
|
@end direntry
|
|
@node Top,,, (dir)
|
|
@top Git Manual Pages
|
|
@documentlanguage en
|
|
@menu
|
|
';
|
|
|
|
for (@menu) {
|
|
print "* ${_}::\n";
|
|
}
|
|
print "\@end menu\n";
|
|
open $tmp, '<', "$output.tmp";
|
|
while (<$tmp>) {
|
|
print;
|
|
}
|
|
close $tmp;
|
|
print "\@bye\n";
|
|
unlink "$output.tmp";
|