PREUN

/bin/sh

if [ "$1" = "0" ]; then if [[ -f /usr/share/info/gmp.info.bz2 ]];then /sbin/install-info /usr/share/info/gmp.info.bz2 --dir=/usr/share/info/dir --remove ;fi; fi 
if [ "$1" = "0" ]; then if [[ -f /usr/share/info/mpfr.info.bz2 ]];then /sbin/install-info /usr/share/info/mpfr.info.bz2 --dir=/usr/share/info/dir --remove ;fi; fi

POSTIN

/bin/sh

if [[ -f /usr/share/info/gmp.info.bz2 ]];then /sbin/install-info /usr/share/info/gmp.info.bz2 --dir=/usr/share/info/dir;fi 
if [[ -f /usr/share/info/mpfr.info.bz2 ]];then /sbin/install-info /usr/share/info/mpfr.info.bz2 --dir=/usr/share/info/dir;fi