diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-05-22 16:06:21 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-05-22 16:06:21 -0400 |
commit | 811748baec930d820da215a436f0793b2343f716 (patch) | |
tree | 169b1afccbe9f171b2160598b369301c30410118 | |
parent | d723ac46bb1bab1b454fad0beef0ee59dab74d17 (diff) |
munge NAME section of man pages to make lintian happy5.20150522
-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 $_; } |