diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/postrm | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/debian/postrm b/debian/postrm new file mode 100644 index 0000000..f8b0428 --- /dev/null +++ b/debian/postrm @@ -0,0 +1,35 @@ +#!/bin/sh +set -e + +oldcatdir="/var/catman" +catdir="/var/cache/man" + +case $1 in + purge) + # removing all catpage hierarchies + if [ -d $oldcatdir ]; then + echo " Removing catpages as well as $oldcatdir hierarchy." + rm -rf $oldcatdir 2>/dev/null || true + fi + if [ -d $catdir ]; then + echo " Removing catpages as well as $catdir hierarchy." + rm -rf $catdir 2>/dev/null || true + fi + rm -f /var/lib/man-db/auto-update + ;; + + abort-install|abort-upgrade) + if [ -e /etc/cron.daily/man.moved-by-preinst ] && \ + [ ! -e /etc/cron.daily/man ]; then + mv /etc/cron.daily/man.moved-by-preinst /etc/cron.daily/man + fi + if [ -e /etc/cron.weekly/catman.moved-by-preinst ] && \ + [ ! -e /etc/cron.weekly/catman ]; then + mv /etc/cron.weekly/catman.moved-by-preinst /etc/cron.weekly/catman + fi + ;; +esac + +#DEBHELPER# + +exit 0 |