diff options
author | Christian Hesse | 2016-09-26 13:41:40 +0200 |
---|---|---|
committer | Christian Hesse | 2016-09-26 13:41:40 +0200 |
commit | 2285f13c9251935d5a72cb7b5b97083c8ab85762 (patch) | |
tree | 485e371673b6a7e66bc11823066505c4c41ead0a /zsh-doc.install | |
parent | 418d752f3d6c3a87e3ec2e403074422977c5402d (diff) | |
download | aur-2285f13c9251935d5a72cb7b5b97083c8ab85762.tar.gz |
commit zsh-git 5.2.r502.ge35dcae-1
Diffstat (limited to 'zsh-doc.install')
-rw-r--r-- | zsh-doc.install | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/zsh-doc.install b/zsh-doc.install deleted file mode 100644 index 2582eae537df..000000000000 --- a/zsh-doc.install +++ /dev/null @@ -1,20 +0,0 @@ -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 -} |