diff options
| -rwxr-xr-x | configure | 6 | 
1 files changed, 6 insertions, 0 deletions
| @@ -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` | 
