diff options
| -rw-r--r-- | doc/dieshdiedie.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/dieshdiedie.html b/doc/dieshdiedie.html index e852af4..cf9c844 100644 --- a/doc/dieshdiedie.html +++ b/doc/dieshdiedie.html @@ -215,7 +215,7 @@ embedded box. Not exactly possible with a shell. </p> <p> - For scripts than do not require many computations that a shell can do + For scripts that do not require many computations that a shell can do without calling external programs, <tt>execline</tt> is <em>faster</em> than the shell. Unlike <tt>sh</tt>'s |