aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--debian/postrm13
-rw-r--r--debian/prerm10
2 files changed, 17 insertions, 6 deletions
diff --git a/debian/postrm b/debian/postrm
index 70022ef..24bd851 100644
--- a/debian/postrm
+++ b/debian/postrm
@@ -2,8 +2,15 @@
set -e
-if [ "$1" = purge ] && [ -e /usr/lib/scm/implcat ] && [ -e /usr/lib/scm/slibcat ]; then
- rm -f /usr/lib/scm/implcat /usr/lib/scm/slibcat
-fi
+case "$1" in
+ purge)
+ if [ -e /usr/lib/scm/implcat ]; then
+ rm -f /usr/lib/scm/implcat
+ fi
+ if [ -e /usr/lib/scm/slibcat ]; then
+ rm -f /usr/lib/scm/slibcat
+ fi
+ ;;
+esac
#DEBHELPER#
diff --git a/debian/prerm b/debian/prerm
index fc8719b..e58c8a0 100644
--- a/debian/prerm
+++ b/debian/prerm
@@ -2,8 +2,12 @@
set -e
-if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/scm ]; then
- rm -f /usr/doc/scm
-fi
+case "$1" in
+ remove|upgrade)
+ # This is to ensure that "old" doc files (which might not be
+ # overwritten by new installs) get removed
+ rm -f /usr/doc/scm
+ ;;
+esac
#DEBHELPER#