1 files changed, 7 insertions, 3 deletions
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#