Wed Jan 8 03:37:02 UTC 2014

1 files changed, 20 insertions, 0 deletions

diff --git a/extra/zsh/zsh-doc.install b/extra/zsh/zsh-doc.install
new file mode 100644
index 000000000..2582eae53
--- /dev/null
+++ b/extra/zsh/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
+}