hack to get escaped quotes right on git-annex-shell man page

1 files changed, 1 insertions, 0 deletions

diff --git a/Build/mdwn2man b/Build/mdwn2man
index 171218db0..32c4d4ac4 100755
--- a/Build/mdwn2man
+++ b/Build/mdwn2man
@@ -53,6 +53,7 @@ while (<>) {
 	else {
 		$inNAME=0;
 	}
+	s/\\"/\\\\"/g; # hack for git-annex-shell's quotes around SSH_ORIGINAL_COMMAND
 
 	print $_;
 }