diff options
author | Joey Hess <joeyh@joeyh.name> | 2016-04-04 17:11:35 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2016-04-04 17:11:35 -0400 |
commit | 2956736bc56eeba5bd6198beb39c43c45d6a7ee9 (patch) | |
tree | f92ecf6f28fa6ac3a3141d4b6a5b94392c019d7c | |
parent | 46cdff2b18dc4bb43cbe312abc1ba98bb5d84d32 (diff) |
hack to get escaped quotes right on git-annex-shell man page
-rwxr-xr-x | Build/mdwn2man | 1 |
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 $_; } |