From 1a729efed4372e45c8f235c2fa38e183f0180c81 Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jfd@recoll.org>
Date: Thu, 7 Jan 2016 11:54:44 +0100
Subject: [PATCH] Replace the chunked manual with the nicer webhelp format

---
 src/doc/user/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/doc/user/Makefile b/src/doc/user/Makefile
index cf7c057f..d545b17d 100644
--- a/src/doc/user/Makefile
+++ b/src/doc/user/Makefile
@@ -17,7 +17,9 @@ commonoptions=--stringparam section.autolabel 1 \
   --stringparam generate.toc "book toc,title,figure,table,example,equation"
 
 
-all: usermanual.html index.html usermanual.pdf
+# index.html chunk format target replaced by nicer webhelp (needs separate
+# make) in webhelp/ subdir
+all: usermanual.html usermanual.pdf 
 
 usermanual.html: usermanual.xml
 	xsltproc ${commonoptions} \