Link to README.html (generated from markdown) rather than plain-text

README.

diff --git a/tools/htdocs/index.html b/tools/htdocs/index.html
index 7b90bcc..61fe17b 100644 (file)
--- a/tools/htdocs/index.html
+++ b/tools/htdocs/index.html
@@ -121,8 +121,8 @@
     </p>
     <ul>
       <li>
-        The <a href="README"
-               >README</a> (which may not be fully up to
+        The <a href="README.html"
+               >README.html</a> (which may not be fully up to
         date).
       </li>
       <li>