default_install &&

install -vm 755 -d "${INSTALL_ROOT}/usr/share/man/man1" &&

install -vm 644 mangl.1 "${INSTALL_ROOT}/usr/share/man/man1"