diff options
| -rw-r--r-- | doc/exec.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/exec.html b/doc/exec.html index 330a835..c855fdc 100644 --- a/doc/exec.html +++ b/doc/exec.html @@ -25,7 +25,7 @@ <h2> Interface </h2> <pre> - exec [ -c ] [ -l ] [ -a <em>argv0</em> ]<em>prog...</em> + exec [ -c ] [ -l ] [ -a <em>argv0</em> ] <em>prog...</em> </pre> <p> |