Add link from top-level index.html to the whitepaper.

diff --git a/tools/htdocs/index.html b/tools/htdocs/index.html
index 1d9b45a..1d929b5 100644 (file)
--- a/tools/htdocs/index.html
+++ b/tools/htdocs/index.html
@@ -117,13 +117,14 @@
       </li>
     </ul>
     <p>
-      Documentation is as yet in short supply:
+      Documentation:
     </p>
     <ul>
       <li>
-        The <a href="README.html"
-               >README.html</a> (which may not be fully up to
-        date).
+        The <a href="whitepaper.html">The whitepaper, including a reference section.</a>
+      </li>
+      <li>
+        The <a href="README.html">README.html</a>
       </li>
       <li>
         The <a href="html-structure.txt"