diff options
| -rw-r--r-- | doc/contents.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/contents.html b/doc/contents.html index 52c78a8..3a45a17 100644 --- a/doc/contents.html +++ b/doc/contents.html @@ -107,7 +107,7 @@ Freely available under the terms of the </UL> <LI><A HREF="manual.html#5.5">5.5 – Table Manipulation</A> <LI><A HREF="manual.html#5.6">5.6 – Mathematical Functions</A> -<LI><A HREF="manual.html#5.7">5.7 – File Input and Output Facilities</A> +<LI><span class='teliva'><A HREF="manual.html#5.7">5.7 – File Input and Output Facilities</A></span> <LI><A HREF="manual.html#5.8">5.8 – Operating System Facilities</A> <LI><A HREF="manual.html#5.9">5.9 – The Debug Library</A> <LI><span class='teliva'><A HREF="manual.html#5.10">5.10 – Curses Window Facilities</A></span> |