default_install  &&

if         ! [ -e ${INSTALL_ROOT}/etc/php.ini ]; then
  cp php.ini-dist ${INSTALL_ROOT}/etc/php.ini
fi
