aboutsummaryrefslogtreecommitdiff
path: root/debian/prerm.ex
diff options
context:
space:
mode:
Diffstat (limited to 'debian/prerm.ex')
-rw-r--r--debian/prerm.ex39
1 files changed, 0 insertions, 39 deletions
diff --git a/debian/prerm.ex b/debian/prerm.ex
deleted file mode 100644
index ceaf76f..0000000
--- a/debian/prerm.ex
+++ /dev/null
@@ -1,39 +0,0 @@
-#! /bin/sh
-# prerm script for pdp
-#
-# see: dh_installdeb(1)
-
-set -e
-
-# summary of how this script can be called:
-# * <prerm> `remove'
-# * <old-prerm> `upgrade' <new-version>
-# * <new-prerm> `failed-upgrade' <old-version>
-# * <conflictor's-prerm> `remove' `in-favour' <package> <new-version>
-# * <deconfigured's-prerm> `deconfigure' `in-favour'
-# <package-being-installed> <version> `removing'
-# <conflicting-package> <version>
-# for details, see http://www.debian.org/doc/debian-policy/ or
-# the debian-policy package
-
-
-case "$1" in
- remove|upgrade|deconfigure)
-# install-info --quiet --remove /usr/info/pdp.info.gz
- ;;
- failed-upgrade)
- ;;
- *)
- echo "prerm called with unknown argument \`$1'" >&2
- exit 1
- ;;
-esac
-
-# dh_installdeb will replace this with shell code automatically
-# generated by other debhelper scripts.
-
-#DEBHELPER#
-
-exit 0
-
-