Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Fedora > 18 > x86_64 > media > updates > by-pkgid > 3cba1b07aced6f743a04bb3d03b7ec62 > scriptlet

gnupg2-2.0.22-1.fc18.x86_64.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

/bin/sh

if [ $1 -eq 0 ]; then
  /sbin/install-info --delete /usr/share/info/gnupg.info /usr/share/info/dir ||:
fi

/bin/sh

/sbin/install-info /usr/share/info/gnupg.info /usr/share/info/dir ||: