From 450ecc96e4916e5960eb5400a5d0315ebfd070c4 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Wed, 15 Oct 2014 15:06:18 +0100
Subject: [PATCH] make clean/distclean also use src rather the tools/htdocs

---
 Makefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index e3dea3a..8d73145 100644
--- a/Makefile
+++ b/Makefile
@@ -9,7 +9,7 @@ all:
 	${MAKE} -C./doc
 
 clean distclean:
-	${MAKE} -C./tools/htdocs $@
+	${MAKE} -C./src $@
 	${MAKE} -C./doc $@
 	${MAKE} -C./examples/htdocs $@
 	${MAKE} -C./test $@
-- 
1.7.10.4