POSTIN
/bin/sh
/sbin/install-info /usr/share/info/krb5-user.info /usr/share/info/dir exit 0
POSTUN
/bin/sh
if [ "$1" -eq "0" ] ; then /sbin/install-info --delete /usr/share/info/krb5-user.info /usr/share/info/dir fi exit 0
/bin/sh
/sbin/install-info /usr/share/info/krb5-user.info /usr/share/info/dir exit 0
/bin/sh
if [ "$1" -eq "0" ] ; then /sbin/install-info --delete /usr/share/info/krb5-user.info /usr/share/info/dir fi exit 0