diff options
author | 2015-05-12 13:23:22 -0400 | |
---|---|---|
committer | 2015-05-12 13:23:22 -0400 | |
commit | 4d49342612dd441cdc503b5294035fc05a9a5a77 (patch) | |
tree | 435a82d44b5a6aa3df411b36fb9fad2553cc670a /Build/mdwn2man | |
parent | 44a48a19ffeb8085e7ae1f6bf58d5661adaf8a8d (diff) | |
parent | 5cd9e10cde3c06ecc6a97f5f60a9def22f959bd2 (diff) |
Merge branch 'master' into concurrentprogress
Conflicts:
Command/Fsck.hs
Messages.hs
Remote/Directory.hs
Remote/Git.hs
Remote/Helper/Special.hs
Types/Remote.hs
debian/changelog
git-annex.cabal
Diffstat (limited to 'Build/mdwn2man')
-rwxr-xr-x | Build/mdwn2man | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/mdwn2man b/Build/mdwn2man index a29ce649e..7ad0d889b 100755 --- a/Build/mdwn2man +++ b/Build/mdwn2man @@ -20,6 +20,7 @@ while (<>) { s/^[ \n]+//; s/^\t/ /; s/-/\\-/g; + s/git\\-annex/git-annex/g; s/^Warning:.*//g; s/^$/.PP\n/; s/^\*\s+(.*)/.IP "$1"/; |