From 486b06b4125c00dd6ffce079432022a11930ce01 Mon Sep 17 00:00:00 2001
From: Laurent Bercot <ska-skaware@skarnet.org>
Date: Fri, 19 May 2017 12:39:14 +0000
Subject:  Add execline-startup and execline-shell to examples/ again

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

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

diff --git a/doc/execline-shell.html b/doc/execline-shell.html
index b14c48d..02449c7 100644
--- a/doc/execline-shell.html
+++ b/doc/execline-shell.html
@@ -20,7 +20,8 @@
 
 <p>
 <tt>execline-shell</tt> executes <tt>$HOME/.execline-shell</tt>
-with the arguments it is given.
+if available (or <tt>/bin/sh</tt> otherwise) with the arguments
+it is given.
 </p>
 
 <h2> Interface </h2>
@@ -34,7 +35,7 @@ with the arguments it is given.
 <tt>${HOME}/.execline-shell $@</tt>. </li>
  <li><tt>${HOME}/.execline-shell</tt> must be readable and
 executable by the user. It must exec into an interactive
-shell with <tt>$@</tt> as its argument.</li>
+shell with <tt>$@</tt> as its argument. </li>
 </ul>
 
 <h2> Notes </h2>
@@ -46,7 +47,7 @@ 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>etc/</tt> subdirectory, and should be copied by
+provided in execline's <tt>examples/etc/</tt> subdirectory, and should be copied by
 the administrator to <tt>/etc</tt>. </li>
 </ul>
 
-- 
cgit v1.3.1