summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Bernoulli <jonas@bernoul.li>2023-05-11 23:42:18 +0200
committerJonas Bernoulli <jonas@bernoul.li>2023-05-11 23:42:18 +0200
commit4e6282df06f90f9887d4bd8a04320e03111c3219 (patch)
treed44ee5070c4fb86baf7ec2f5208cc02888068ba6
parent132c3c516f6a9b4af7e6295ebd1ee1e59078db0d (diff)
manual: Regenerate texi
-rw-r--r--docs/with-editor.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/with-editor.texi b/docs/with-editor.texi
index 7be9c35..f613f67 100644
--- a/docs/with-editor.texi
+++ b/docs/with-editor.texi
@@ -178,7 +178,7 @@ implementation:
@lisp
"sh -c '\
-echo \"WITH-EDITOR: $$ OPEN $0 IN $(pwd)\"; \
+echo \"WITH-EDITOR: $$ OPEN $0$1 IN $(pwd)\"; \
trap \"exit 0\" USR1; \
trap \"exit 1\" USR2; \
while true; do sleep 1; done'"