diff options
author | root <root@rshg054.dnsready.net> | 2013-01-26 00:08:39 -0800 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2013-01-26 00:08:39 -0800 |
commit | 7d3e94229ca9849421d263542eb2c61f64a91c10 (patch) | |
tree | a64484da5988880907feb62e68952c19724a24bd /core/gpgme/gpgme.install | |
parent | ef71629a65f6e8052d66775f07b079bf08322476 (diff) |
Sat Jan 26 00:08:39 PST 2013
Diffstat (limited to 'core/gpgme/gpgme.install')
-rw-r--r-- | core/gpgme/gpgme.install | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/core/gpgme/gpgme.install b/core/gpgme/gpgme.install index b54620d9a..cd0db94e0 100644 --- a/core/gpgme/gpgme.install +++ b/core/gpgme/gpgme.install @@ -1,9 +1,10 @@ -infodir=/usr/share/info +infodir=usr/share/info filelist=(gpgme.info gpgme.info-1 gpgme.info-2) post_install() { + [ -x usr/bin/install-info ] || return 0 for file in ${filelist[@]}; do - install-info $infodir/$file $infodir/dir 2> /dev/null + install-info $infodir/$file.gz $infodir/dir 2> /dev/null done } @@ -12,7 +13,8 @@ post_upgrade() { } pre_remove() { + [ -x usr/bin/install-info ] || return 0 for file in ${filelist[@]}; do - install-info --delete $infodir/$file $infodir/dir 2> /dev/null + install-info --delete $infodir/$file.gz $infodir/dir 2> /dev/null done } |