From 6de2b7eb50eb03025dec13adbde99f786468cd75 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Thu, 11 Jul 2013 10:33:32 +0100
Subject: [PATCH] Link to README.html (generated from markdown) rather than
 plain-text README.

---
 tools/htdocs/index.html |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/htdocs/index.html b/tools/htdocs/index.html
index 7b90bcc..61fe17b 100644
--- 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>
-- 
1.7.10.4