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