Added man-lint.sh for EXTRA_DIST.
[findutils.git] / debian / prerm
blobb74412f03d578fdb94a8be8ee361be9955f30536
1 #! /bin/sh
3 set -e
5 if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/findutils ]; then
6 rm -f /usr/doc/findutils
7 fi
9 if [ "$1" = "upgrade" -o "$1" = "remove" ]; then
10 install-info --quiet --remove find
11 if command -v install-docs > /dev/null 2>&1; then
12 install-docs -r findutils || true