diff options
Diffstat (limited to 'Documentation')
| -rwxr-xr-x | Documentation/cat-texi.perl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/cat-texi.perl b/Documentation/cat-texi.perl index 1bc84d3c7c..14d2f83415 100755 --- a/Documentation/cat-texi.perl +++ b/Documentation/cat-texi.perl @@ -20,7 +20,7 @@ while (<STDIN>) { } close $tmp; -printf '\input texinfo +print '\input texinfo @setfilename gitman.info @documentencoding UTF-8 @dircategory Development @@ -31,7 +31,7 @@ printf '\input texinfo @top Git Manual Pages @documentlanguage en @menu -', $menu[0]; +'; for (@menu) { print "* ${_}::\n"; |