From 442cbcaa0720f849f44bb903f984588f0557f22d Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jfd@recoll.org>
Date: Sat, 7 Feb 2015 10:27:32 +0100
Subject: [PATCH] Install script used wrong css file for the manual. F1
 displayed un-styled manual

---
 src/recollinstall.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/recollinstall.in b/src/recollinstall.in
index ea544939..d155b410 100755
--- a/src/recollinstall.in
+++ b/src/recollinstall.in
@@ -101,7 +101,7 @@ done
 @NOQTMAKE@${INSTALL} -m 0444 desktop/recoll.png ${datadir}/pixmaps/
 
 if test -f doc/user/usermanual.html ; then
-    ${INSTALL} -m 0444 doc/user/usermanual.html doc/user/docbook.css \
+    ${INSTALL} -m 0444 doc/user/usermanual.html doc/user/docbook-xsl.css \
 			${datadir}/recoll/doc 
 else
     echo "User manual not found -> not installed"