make_single                                 &&
default_install                             &&
make_normal                                 &&

# compatibility (needed for xman)
pushd $INSTALL_ROOT/usr/bin                 &&
ln -sf soelim zsoelim                       &&
popd                                        &&
pushd $INSTALL_ROOT/usr/share/man/man1      &&
ln -sf soelim.1 zsoelim.1                   &&
popd
