We could do install-docs whatever-args 2> /dev/null || true directly. If install-docs exists, it will work. If it does not, it will not. We could also omit the "2> /dev/null" and the "true" if we put a dummy alternatives-managed install-docs which does nothing in some essential package. -- To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org