default_install &&

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