From ab5130f486915012cfa9362818fe2fc16b8c6a06 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Sun, 18 Nov 2012 11:07:27 +0100 Subject: [PATCH] zsh: install info files. --- srcpkgs/zsh/template | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/srcpkgs/zsh/template b/srcpkgs/zsh/template index 169a7b41631..a0ceab2d81a 100644 --- a/srcpkgs/zsh/template +++ b/srcpkgs/zsh/template @@ -1,8 +1,10 @@ # Template file for 'zsh' pkgname=zsh version=5.0.0 -revision=1 +revision=2 build_style=gnu-configure +make_build_args="info" +make_install_args="install.info" configure_args="--enable-etcdir=/etc/zsh --enable-zshenv=/etc/zsh/zshenv --enable-zlogin=/etc/zsh/zlogin --enable-zlogout=/etc/zsh/zlogout --enable-zprofile=/etc/profile --enable-zshrc=/etc/zsh/zshrc