#!/bin/sh -e

case "$1" in
    remove|upgrade|deconfigure)
        install-info --quiet --remove /usr/share/info/ginac.info
        ;;
    failed-upgrade)
        ;;
    *)
        echo "prerm called with unknown argument \`$1'" >&2
        exit 0
    ;;
esac

#DEBHELPER#

exit 0