#!/bin/sh set -e if [ "$1" = "configure" ]; then if command -v install-docs >/dev/null 2>&1; then install-docs -i /usr/share/doc-base/wdiff-doc fi fi