diff options
Diffstat (limited to 'Build/mdwn2man')
| -rwxr-xr-x | Build/mdwn2man | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Build/mdwn2man b/Build/mdwn2man index 7ad0d889b..87094069f 100755 --- a/Build/mdwn2man +++ b/Build/mdwn2man @@ -43,5 +43,16 @@ while (<>) { $_=".IP\n"; } + if ($inNAME) { + # make lexgrog happy + s/^git-annex /git-annex-/; + } + if ($_ eq ".SH NAME\n") { + $inNAME=1; + } + else { + $inNAME=0; + } + print $_; } |