diff options
author | root <root@rshg054.dnsready.net> | 2012-04-28 00:01:35 +0000 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-04-28 00:01:35 +0000 |
commit | 00f77ef3b2b7856520daba393370f67b773c2184 (patch) | |
tree | ac5b63574a95d0d851e012957254f7456ced564f /testing/libffi/libffi.install | |
parent | 5233daa5825f00ccf0722ef9733ea6b3bbd44bc8 (diff) |
Sat Apr 28 00:01:35 UTC 2012
Diffstat (limited to 'testing/libffi/libffi.install')
-rw-r--r-- | testing/libffi/libffi.install | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/testing/libffi/libffi.install b/testing/libffi/libffi.install new file mode 100644 index 000000000..903bede10 --- /dev/null +++ b/testing/libffi/libffi.install @@ -0,0 +1,20 @@ +infodir=usr/share/info +filelist=(libffi.info.gz) + +post_install() { + [[ -x usr/bin/install-info ]] || return 0 + for file in ${filelist[@]}; do + install-info $infodir/$file $infodir/dir 2> /dev/null + done +} + +post_upgrade() { + post_install $1 +} + +pre_remove() { + [[ -x usr/bin/install-info ]] || return 0 + for file in ${filelist[@]}; do + install-info --delete $infodir/$file $infodir/dir 2> /dev/null + done +} |