From 6fce4a946b1b20f989418e9958630c5d8dd62311 Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jfd@recoll.org>
Date: Fri, 23 Mar 2012 15:21:43 +0100
Subject: [PATCH] replace error message when user manual not found during
 install

---
 src/recollinstall.in | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/recollinstall.in b/src/recollinstall.in
index 5950bae8..c0c159f6 100755
--- a/src/recollinstall.in
+++ b/src/recollinstall.in
@@ -86,8 +86,13 @@ done
 @NOQTMAKE@${INSTALL} -m 0444 desktop/recoll.png ${datadir}/icons/hicolor/48x48/apps
 @NOQTMAKE@${INSTALL} -m 0444 desktop/recoll.png ${datadir}/pixmaps/
 
-${INSTALL} -m 0444 doc/user/usermanual.html doc/user/docbook.css \
+if test -f doc/user/usermanual.html ; then
+    ${INSTALL} -m 0444 doc/user/usermanual.html doc/user/docbook.css \
 			${datadir}/recoll/doc 
+else
+    echo "User manual not found -> not installed"
+fi
+
 @NOQTMAKE@${INSTALL} -m 0444 doc/man/recoll.1 ${mandir}/man1/
 @NOCMDLINE@${INSTALL} -m 0444 doc/man/recollq.1 ${mandir}/man1/
 ${INSTALL} -m 0444 doc/man/recollindex.1 ${mandir}/man1/