diff options
Diffstat (limited to 'Documentation/cat-texi.perl')
| -rwxr-xr-x | Documentation/cat-texi.perl | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Documentation/cat-texi.perl b/Documentation/cat-texi.perl index dbc133cd3c..87437f8a95 100755 --- a/Documentation/cat-texi.perl +++ b/Documentation/cat-texi.perl @@ -12,14 +12,19 @@ while (<STDIN>) { push @menu, $1; } s/\(\@pxref{\[(URLS|REMOTES)\]}\)//; + s/\@anchor\{[^{}]*\}//g; print TMP; } close TMP; printf '\input texinfo @setfilename gitman.info -@documentencoding us-ascii -@node Top,,%s +@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 |