diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2023-05-11 23:42:18 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2023-05-11 23:42:18 +0200 |
| commit | 4e6282df06f90f9887d4bd8a04320e03111c3219 (patch) | |
| tree | d44ee5070c4fb86baf7ec2f5208cc02888068ba6 /docs | |
| parent | 132c3c516f6a9b4af7e6295ebd1ee1e59078db0d (diff) | |
manual: Regenerate texi
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/with-editor.texi | 2 |
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'" |