Sophie: gnutls-devel-2.10.5-1.fc15 i686

gnutls-devel-2.10.5-1.fc15.i686.rpm

/bin/sh

if [ $1 = 0 -a -f /usr/share/info/gnutls.info.gz ]; then
   /sbin/install-info --delete /usr/share/info/gnutls.info.gz /usr/share/info/dir || :
fi

/bin/sh

if [ -f /usr/share/info/gnutls.info.gz ]; then
    /sbin/install-info /usr/share/info/gnutls.info.gz /usr/share/info/dir || :
fi