From 9b2a6af34bd52d36c853a567cf73ff1a35d05b27 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Thu, 31 Jul 2014 03:00:36 +0100
Subject: [PATCH] No need to ignore installed library-configuration.html

---
 tools/htdocs/.gitignore |    1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/htdocs/.gitignore b/tools/htdocs/.gitignore
index 62c41cb..9c724ae 100644
--- a/tools/htdocs/.gitignore
+++ b/tools/htdocs/.gitignore
@@ -12,4 +12,3 @@ mkws.js
 mkws.min.js
 pz2.js
 mkws-manual.html
-library-configuration.html
-- 
1.7.10.4