From c069582d61b59d1bc064b33e329d66454f61c08a Mon Sep 17 00:00:00 2001
From: Laurent Bercot <ska-skaware@skarnet.org>
Date: Wed, 1 Jul 2015 13:43:44 +0000
Subject:  Doc typo fix

---
 doc/dieshdiedie.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3