for INFOFILE in admin install user do if [ -f /usr/share/info/krb5-$INFOFILE.info ]; then install-info --info-dir=/usr/share/info \ /usr/share/info/krb5-$INFOFILE.info fi done
