PREUN
/bin/sh
if [ "$1" = 0 ]; then /sbin/install-info --delete --info-dir=/usr/share/info /usr/share/info/ginac.info.gz 2>/dev/null || : fi
POSTIN
/bin/sh
/sbin/install-info --info-dir=/usr/share/info /usr/share/info/ginac.info.gz 2>/dev/null || :