aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2015-05-22 16:06:21 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2015-05-22 16:06:21 -0400
commit811748baec930d820da215a436f0793b2343f716 (patch)
tree169b1afccbe9f171b2160598b369301c30410118
parentd723ac46bb1bab1b454fad0beef0ee59dab74d17 (diff)
munge NAME section of man pages to make lintian happy5.20150522
-rwxr-xr-xBuild/mdwn2man11
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 $_;
}