summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2016-04-04 17:11:35 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2016-04-04 17:11:35 -0400
commit2956736bc56eeba5bd6198beb39c43c45d6a7ee9 (patch)
treef92ecf6f28fa6ac3a3141d4b6a5b94392c019d7c
parent46cdff2b18dc4bb43cbe312abc1ba98bb5d84d32 (diff)
hack to get escaped quotes right on git-annex-shell man page
-rwxr-xr-xBuild/mdwn2man1
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 $_;
}