PREUN
/bin/sh
if [ "$1" = "0" ] ; then /sbin/install-info --delete /usr/share/info/krb5-user.info /usr/share/info/dir fi exit 0
POSTIN
/bin/sh
/sbin/install-info /usr/share/info/krb5-user.info /usr/share/info/dir exit 0
POSTUN
/bin/sh
/sbin/service xinetd reload > /dev/null 2>&1 || : exit 0