From ef845d2595045ecf11ce99ec73ded148af69121f Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Mon, 13 Oct 2014 14:53:06 +0100
Subject: [PATCH] Add DOCTYPE declaration.

---
 tools/htdocs/index.html |    1 +
 1 file changed, 1 insertion(+)
diff --git a/tools/htdocs/index.html b/tools/htdocs/index.html
index 05a0730..82bdc2f 100644
--- a/tools/htdocs/index.html
+++ b/tools/htdocs/index.html
@@ -1,3 +1,4 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 <html>
   <head>
     <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
-- 
1.7.10.4

