diff options
Diffstat (limited to 'debian/prerm')
-rwxr-xr-x | debian/prerm | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/debian/prerm b/debian/prerm deleted file mode 100755 index b74412f0..00000000 --- a/debian/prerm +++ /dev/null @@ -1,14 +0,0 @@ -#! /bin/sh - -set -e - -if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/findutils ]; then - rm -f /usr/doc/findutils -fi - -if [ "$1" = "upgrade" -o "$1" = "remove" ]; then - install-info --quiet --remove find - if command -v install-docs > /dev/null 2>&1; then - install-docs -r findutils || true - fi -fi |