Update for IMAIL user's manual, and for change to top-level files.

diff --git a/v7/dist/index.html b/v7/dist/index.html
index 70aa111c9524fd1c4dec23fdbb7fb8d7e70d58d7..e32ca194a3a4ec501c75edad19f9cbe38ab6ba86 100644 (file)
--- a/v7/dist/index.html
+++ b/v7/dist/index.html
@@ -11,9 +11,10 @@
 The following MIT Scheme manuals are available here:
 
 <ul>
-<li><a href="scheme_toc.html">MIT Scheme Reference</a>
-<li><a href="user_toc.html">MIT Scheme User's Manual</a>
-<li><a href="sos_toc.html">SOS Reference Manual</a>
+<li><a href="scheme.html">MIT Scheme Reference</a>
+<li><a href="user.html">MIT Scheme User's Manual</a>
+<li><a href="sos.html">SOS Reference Manual</a>
+<li><a href="imail.html">IMAIL User's Manual</a>
 </ul>
 
 </body>