diff options
Diffstat (limited to 'abs/core/mpfr/mpfr.install')
| -rw-r--r-- | abs/core/mpfr/mpfr.install | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/abs/core/mpfr/mpfr.install b/abs/core/mpfr/mpfr.install index a95dec6..46ef244 100644 --- a/abs/core/mpfr/mpfr.install +++ b/abs/core/mpfr/mpfr.install @@ -2,6 +2,7 @@ info_dir=/usr/share/info info_files=(mpfr.info) post_install() { + [ -x usr/bin/install-info ] || return 0 for f in ${info_files[@]}; do install-info ${info_dir}/$f.gz ${info_dir}/dir 2> /dev/null done @@ -12,6 +13,7 @@ post_upgrade() { } pre_remove() { + [ -x usr/bin/install-info ] || return 0 for f in ${info_files[@]}; do install-info --delete ${info_dir}/$f.gz ${info_dir}/dir 2> /dev/null done |