debian/prerm.ex
6ac71d10
 #! /bin/sh
 # prerm script for ser-0.8.7
 #
 # 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/ser-0.8.7.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