reinstate libguide.pdf in distribution

diff --git a/doc/index.html b/doc/index.html
index 2eca18bd9ab85f7d727f39728767b4b55606c74b..151f521bff47c0bf19506757a785c70916e7a85b 100644 (file)
--- a/doc/index.html
+++ b/doc/index.html
@@ -22,6 +22,7 @@
   <li><a href="../pdf/dottyguide.pdf">dotty guide</a>
   <li><a href="../pdf/leftyguide.pdf">lefty guide</a>
   <li><a href="../pdf/neatoguide.pdf">neato guide</a>
+  <li><a href="../pdf/libguide.pdf">library guide</a>
   </ul>
 <li>Command manual pages (PDF)
   <ul>