debian/bash.prerm

   1 #! /bin/bash
   2
   3 set -e
   4
   5 case "$1" in
   6     upgrade)
   7         update-alternatives --remove builtins.7.gz \
   8             /usr/share/man/man7/bash-builtins.7.gz
   9         ;;
  10
  11     remove|deconfigure)
  12         ;;
  13
  14     failed-upgrade)
  15         ;;
  16     *)
  17         echo "prerm called with unknown argument \`$1'" >&2
  18         exit 1
  19         ;;
  20 esac
  21
  22 #DEBHELPER#