diff options
| -rw-r--r-- | debian/postrm | 13 | ||||
| -rw-r--r-- | debian/prerm | 10 |
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# |