replace error message when user manual not found during install

This commit is contained in:
Jean-Francois Dockes 2012-03-23 15:21:43 +01:00
parent 7e442fdde1
commit 6fce4a946b

View File

@ -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/