Sophie

Sophie

distrib > Mageia > 6 > armv5tl > media > core-release > by-pkgid > df020f7e5b9140559e1a6396ce39926f > scriptlet

dejagnu-1.6-1.mga6.noarch.rpm

PREUN

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

POSTIN

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