doc/index.html: Add list of plugin manuals.

diff --git a/doc/index.html b/doc/index.html
index 2566ba20940a32d176912ff39db5c94a7d61ad22..0e39ca8f2f0bac8d56aee32174b39ef51ebacab0 100644 (file)
--- a/doc/index.html
+++ b/doc/index.html
@@ -18,5 +18,12 @@ The following MIT/GNU Scheme manuals are available.
 <li><a href="mit-scheme-ffi/index.html">Foreign Function Interface</a></li>
 </ul>
 
+The following manuals for installed plugins are also available.
+
+<ul id="plugins">
+<!-- DO NOT EDIT this list.  Any edits will be clobbered. -->
+<li><i>None currently installed.</i></li>
+</ul>
+
 </body>
 </html>