Warn if xmlto is missing and a prebuilt helpfile is missing.

1 files changed, 6 insertions, 0 deletions

diff --git a/configure b/configure
index 1daf0a99..4fa1ee8c 100755
--- a/configure
+++ b/configure
@@ -443,6 +443,12 @@ else
 	echo '#define WITH_PLUGINS' >> config.h
 fi
 
+if [ ! -e doc/user-guide/help.txt ] && ! type xmlto > /dev/null 2> /dev/null; then
+	echo
+	echo 'WARNING: Building from an unreleased source tree without prebuilt helpfile.'
+	echo 'Install xmlto if you want online help to work.'
+fi
+
 echo
 if [ -z "$BITLBEE_VERSION" -a -d .bzr ] && type bzr > /dev/null 2> /dev/null; then
 	nick=`bzr nick`