make_single &&
DEST=${INSTALL_ROOT}/usr/share/ted &&
make CONFIGURE_OPTIONS="--prefix=${DEST} $OPTS" compile.shared &&
make package.shared &&
make_normal
