From 6a6285e64c2073e11124ab0434262fd94e1cc27e Mon Sep 17 00:00:00 2001
From: Matt Birkholz <puck@birchwood-abbey.net>
Date: Wed, 2 Mar 2016 15:58:27 -0700
Subject: [PATCH] doc/index.html: Add list of plugin manuals.

---
 doc/index.html | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/doc/index.html b/doc/index.html
index 2566ba209..0e39ca8f2 100644
--- 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>
-- 
2.25.1