default_pre_build  &&

if  !  list_find  "$OPTS"  '--with-docs';  then
  rm  -rf  doc
fi
