Sophie: emacs-common-proofgeneral-3.7.1-4.fc12 noarch

emacs-common-proofgeneral-3.7.1-4.fc12.noarch.rpm

Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse

PREUN

/bin/sh

if [ $1 -eq 0 ]; then
  /sbin/install-info --delete /usr/share/info/ProofGeneral.info* /usr/share/info/dir 2>/dev/null || :
  /sbin/install-info --delete /usr/share/info/PG-adapting.info* /usr/share/info/dir 2>/dev/null || :
fi

POSTIN

/bin/sh

/sbin/install-info /usr/share/info/ProofGeneral.info* /usr/share/info/dir 2>/dev/null || :
/sbin/install-info /usr/share/info/PG-adapting.info* /usr/share/info/dir 2>/dev/null || :