diff options
Diffstat (limited to 'doc/index.html')
| -rw-r--r-- | doc/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/index.html b/doc/index.html index 035e0eb..7dae446 100644 --- a/doc/index.html +++ b/doc/index.html @@ -167,6 +167,7 @@ to your installation: the shebang lines for your system might be something like <ul> <li><a href="foreground.html">The <tt>foreground</tt> program</a></li> <li><a href="background.html">The <tt>background</tt> program</a></li> +<li><a href="case.html">The <tt>case</tt> program</a></li> <li><a href="if.html">The <tt>if</tt> program</a></li> <li><a href="ifelse.html">The <tt>ifelse</tt> program</a></li> <li><a href="ifte.html">The <tt>ifte</tt> program</a></li> |