diff options
author | Joe Neeman | 2015-06-23 16:08:47 +0200 |
---|---|---|
committer | Joe Neeman | 2015-06-23 16:08:47 +0200 |
commit | 319cdb925f8b96b8c8c117ee806f771be14cd849 (patch) | |
tree | 982be8f2ab3c7eb05be880599c6c0a3ee5d985d4 /mpir.install | |
download | aur-319cdb925f8b96b8c8c117ee806f771be14cd849.tar.gz |
Initial import (version 2.7.0-beta1)
Diffstat (limited to 'mpir.install')
-rw-r--r-- | mpir.install | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/mpir.install b/mpir.install new file mode 100644 index 000000000000..38d4390f4af7 --- /dev/null +++ b/mpir.install @@ -0,0 +1,20 @@ +infodir=usr/share/info +filelist=(mpir) + +post_install() { + [[ -x usr/bin/install-info ]] || return 0 + for file in "${filelist[@]}"; do + install-info "$infodir/$file.info.gz" "$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.info.gz" "$infodir/dir" 2> /dev/null + done +} |