diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-20 23:27:25 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-20 23:27:25 -0500 |
commit | 680413132f7008c26c6c5542cbad46528c5f1ce3 (patch) | |
tree | ae64afaf066217126862889d2260ec89f804e04c /pcr/libbinio/libbinio.install | |
parent | b8f2ae7f1c37ba9f00c6d7e63a446e24e8a03c47 (diff) |
libbinio-1.4-3: rebuild
Diffstat (limited to 'pcr/libbinio/libbinio.install')
-rw-r--r-- | pcr/libbinio/libbinio.install | 17 |
1 files changed, 3 insertions, 14 deletions
diff --git a/pcr/libbinio/libbinio.install b/pcr/libbinio/libbinio.install index 895af6344..085507a37 100644 --- a/pcr/libbinio/libbinio.install +++ b/pcr/libbinio/libbinio.install @@ -1,22 +1,11 @@ -infodir=usr/share/info -filelist=(libbinio.info) - post_install() { - [[ -x usr/bin/install-info ]] || return 0 - for file in "${filelist[@]}"; do - install-info "$infodir/$file.gz" "$infodir/dir" 2> /dev/null - done + test -x usr/bin/install-info && install-info usr/share/info/libbinio.info.gz usr/share/info/dir 2>/dev/null } post_upgrade() { - post_install "$1" + test -x usr/bin/install-info && install-info usr/share/info/libbinio.info.gz usr/share/info/dir 2>/dev/null } pre_remove() { - [[ -x usr/bin/install-info ]] || return 0 - for file in "${filelist[@]}"; do - install-info --delete "$infodir/$file.gz" "$infodir/dir" 2> /dev/null - done + test -x usr/bin/install-info && install-info --delete usr/share/info/libbinio.info.gz usr/share/info/dir 2>/dev/null } - -# vim:set ts=2 sw=2 et: |