Sophie

Sophie

distrib > Mandriva > 2010.1 > x86_64 > media > main-release > by-pkgid > edd440b860c6769d85b43ef9ffd6b428 > scriptlet

dejagnu-1.4.4-11mdv2010.1.noarch.rpm

PREUN

/bin/sh
if [ "$1" = "0" ]; then if [[ -f /usr/share/info/dejagnu.info.lzma ]]; then /sbin/install-info /usr/share/info/dejagnu.info.lzma --dir=/usr/share/info/dir --remove ; fi; fi

POSTIN

/bin/sh
if [[ -f /usr/share/info/dejagnu.info.lzma ]]; then /sbin/install-info /usr/share/info/dejagnu.info.lzma --dir=/usr/share/info/dir; fi