From bb122f7ade3c97ad83ee3e61c009b704bd657815 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Thu, 19 Dec 2013 15:35:11 +0000
Subject: [PATCH] Add "Versions" section with links to old versions and NEWS
 file.

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

diff --git a/tools/htdocs/index.html b/tools/htdocs/index.html
index 67a20ee..67ad015 100644
--- a/tools/htdocs/index.html
+++ b/tools/htdocs/index.html
@@ -136,6 +136,32 @@
     </div>
 
     <div class="pane">
+      <h2>Versions</h2>
+      <p>
+	The links above to the various forms of the widget-set JavaScript
+        (<a href="mkws.js">mkws.js</a>,
+        <a href="mkws-complete.js">mkws-complete.js</a>,
+        <a href="mkws.min.js">mkws.min.js</a>
+	and
+        <a href="mkws-complete.min.js">mkws-complete.min.js</a>)
+	are always to the current versions of those
+	files. Applications that rely on a particular version can
+	instead use the specific numbered versions in
+	<a href="releases/">the releases area</a>,
+	for example
+	<a href="releases/mkws-0.9.1.js">releases/mkws-0.9.1.js</a>.
+      </p>
+      <p>
+	The current version number is always in
+	<a href="VERSION">the VERSION file</a>.
+      </p>
+      <p>
+	Version history is in
+	<a href="NEWS">the NEWS file</a>.
+      </p>
+    </div>
+
+    <div class="pane">
       <h2>Examples using the widget-set</h2>
       <p>
         It's worth viewing the source of these to see how small they
-- 
1.7.10.4