diff options
Diffstat (limited to 'debian/prerm')
-rwxr-xr-x | debian/prerm | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/debian/prerm b/debian/prerm deleted file mode 100755 index c5bfdbd..0000000 --- a/debian/prerm +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh - -set -e - -if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/slib ]; then - rm -f /usr/doc/slib -fi |