From 2029d3fbc2c659cb80d806055d183039d553dba9 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Fri, 4 Jul 2014 15:13:29 +0100
Subject: [PATCH] default target runs "make install" (not "make all") in doc
 subdirectory.

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

diff --git a/Makefile b/Makefile
index dcd5995..32309e5 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,7 @@
 
 all:
 	${MAKE} -C./tools/htdocs $@
-	${MAKE} -C./doc $@
+	${MAKE} -C./doc install
 
 clean distclean:
 	${MAKE} -C./tools/htdocs $@
-- 
1.7.10.4