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