Resuming nightly build of user manual etc (ticket #771).

larcenists · Jul 5, 2017 · a59a3a4 · a59a3a4
1 parent 9616118
commit a59a3a4
Showing 1 changed file with 21 additions and 1 deletion.
diff --git a/doc/index.html b/doc/index.html
@@ -1,14 +1,19 @@
 <html>
 <head>
-<title>Larceny Autobuilt Documentation</title>
+<title>Larceny Documentation</title>
 <body>
+
+<!--
 These are <a href="builddate.html">autobuilt</a>
 copies of the
 <a href="http://larceny.ccs.neu.edu">Larceny</a> 
 documentation.
+-->
 
 <h2>User Manual</h2>
 
+<!--
+
 <p>
 The Larceny User Manual is available in four formats:
 </p>
@@ -31,6 +36,21 @@ <h2>User Manual</h2>
 </table>
 </div>
 
+-->
+
+<p>
+<a href="http://www.larcenists.org/Documentation/Documentation0.99/index.html"
+ >Larceny v0.99 User's Manual</a>
+</p>
+
+<p>
+The
+<a href="user-manual-alt.html">nightly build of the
+Larceny User Manual</a> is less stable but may do a better job
+of describing the current development version of Larceny.
+On the other hand, it may not.
+</p>
+
 <p>
 Larceny developers may want to check the 
 <a href="buildlog.html">build log</a>