diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/index.html b/man/index.html index 9cd04982..6a12c405 100644 --- a/man/index.html +++ b/man/index.html @@ -17,7 +17,7 @@ <title>Sections index</title> </head> <body> -<pre><a href="1">Section (1)</a> (this section) for the commonly-used commands. +<pre><a href="1">Section (1)</a> for the commonly-used commands. <a href="2">Section (2)</a> for Limbo modules, including Inferno's system calls. <a href="3">Section (3)</a> for kernel devices (accessed by `bind'). <a href="4">Section (4)</a> for file services (accessed by `mount'). |