diff options
author | Christian Hesse | 2015-08-06 10:27:37 +0200 |
---|---|---|
committer | Christian Hesse | 2015-08-06 10:27:37 +0200 |
commit | 40415c4590a9b70cd10682e25d0e12895b648844 (patch) | |
tree | 309776d62479e58f792681c6acc83c640c6cb2b0 /zsh-doc.install | |
download | aur-40415c4590a9b70cd10682e25d0e12895b648844.tar.gz |
initial import of zsh-git 5.0.8.r162.g2fc05d5-1
Diffstat (limited to 'zsh-doc.install')
-rw-r--r-- | zsh-doc.install | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/zsh-doc.install b/zsh-doc.install new file mode 100644 index 000000000000..2582eae537df --- /dev/null +++ b/zsh-doc.install @@ -0,0 +1,20 @@ +infodir=usr/share/info +filelist=(zsh.info zsh.info-1 zsh.info-2 zsh.info-3 zsh.info-4 zsh.info-5 zsh.info-6) + +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 +} + +post_upgrade() { + post_install +} + +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 +} |