path: root/gnome3-libs/gnome-desktop3/PRE_BUILD

default_pre_build  &&

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