default_pre_build &&
cd $SOURCE_DIRECTORY &&
if ! is_depends_enabled $SPELL xmlto; then
  sed -i -e '/^all: /s/allhtml//' doc/Makefile.in
fi
