diff options
Diffstat (limited to 'debian/prerm.ex')
-rw-r--r-- | debian/prerm.ex | 39 |
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 - - |