PREUN
/bin/sh
if [ $1 = 0 ]; then if [ -f /usr/share/info/gmp.info.gz ]; then /sbin/install-info --delete /usr/share/info/gmp.info.gz /usr/share/info/dir || : fi fi exit 0
POSTIN
/bin/sh
if [ -f /usr/share/info/gmp.info.gz ]; then /sbin/install-info /usr/share/info/gmp.info.gz /usr/share/info/dir || : fi exit 0