default_pre_build  &&

if [ $BUILDDOC == "n" ] ; then
  cd $SOURCE_DIRECTORY  &&
  sedit '/desktop-docs/d' Makefile.in
fi
