debian/libginac-dev.prerm

   1 #!/bin/sh -e
   2
   3 case "$1" in
   4     remove|upgrade|deconfigure)
   5         install-info --quiet --remove /usr/share/info/ginac.info
   6         ;;
   7     failed-upgrade)
   8         ;;
   9     *)
  10         echo "prerm called with unknown argument \`$1'" >&2
  11         exit 0
  12     ;;
  13 esac
  14
  15 #DEBHELPER#
  16
  17 exit 0