From 44be69112c71fe65784cc014995044c2a191a449 Mon Sep 17 00:00:00 2001
From: Laurent Bercot <ska-skaware@skarnet.org>
Date: Sun, 14 Feb 2021 15:10:15 +0000
Subject:  Apply doc fixes by flexibeast and suggestions by Profpatsch&aranea

---
 doc/execline-shell.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/execline-shell.html')

diff --git a/doc/execline-shell.html b/doc/execline-shell.html
index 80c52eb..92140c1 100644
--- a/doc/execline-shell.html
+++ b/doc/execline-shell.html
@@ -42,12 +42,12 @@ shell with <tt>$@</tt> as its argument. </li>
 
 <ul>
  <li> <tt>execline-shell</tt> is meant to be used as the <tt>SHELL</tt>
-environment variable value. It allows one to specify his favourite shell and
+environment variable value. It allows one to specify their favourite shell and
 shell configuration in any language, since the <tt>${HOME}/.execline-shell</tt>
 file can be any executable program. <tt>${HOME}/.execline-shell</tt> can be seen
 as a portable <tt>.<em>whatever</em>rc</tt> file. </li>
  <li> As an administrator-modifiable configuration file, <tt>execline-shell</tt>
-provided in execline's <tt>examples/etc/</tt> subdirectory, and should be copied by
+is provided in execline's <tt>examples/etc/</tt> subdirectory, and should be copied by
 the administrator to <tt>/etc</tt>. </li>
 </ul>
 
-- 
cgit v1.2.3