diff options
Diffstat (limited to 'doc/index.html')
| -rw-r--r-- | doc/index.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/index.html b/doc/index.html index 8222a48..c3b647b 100644 --- a/doc/index.html +++ b/doc/index.html @@ -17,10 +17,10 @@ <h1> execline </h1> -<h2> What is it ? </h2> +<h2> What is it? </h2> <p> - execline is a (non-interactive) scripting language, like <tt>sh</tt> ; + execline is a (non-interactive) scripting language, like <tt>sh</tt> - but its syntax is quite different from a traditional shell syntax. The <tt>execlineb</tt> program is meant to be used as an interpreter for a text file; the other commands are essentially useful inside an @@ -38,7 +38,7 @@ shell's syntax, and has no security issues. <ul> <li> <a href="grammar.html">The execline design and grammar</a></li> -<li> <a href="dieshdiedie.html">Why not just use <tt>/bin/sh</tt> ?</a></li> +<li> <a href="dieshdiedie.html">Why not just use <tt>/bin/sh</tt>?</a></li> </ul> <hr /> |