default_install &&

install_config_file "${SOURCE_DIRECTORY}/profile" \
                    "${INSTALL_ROOT}/etc/profile"
