]> www.ginac.de Git - ginac.git/blob - debian/libginac-dev.prerm
synced to 1.2
[ginac.git] / 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