aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xconfigure6
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`