[pacman-dev] [PATCH] Provides a MAN_DIRS variable much like DOC/STRIP_DIRS. I need that for a package that install manpages in a non-standard place (/opt/devkitpro/devkitPPC/man/...).

[Allan McRae]

This seems a good idea to me and the patch looks good.  One small 
comment below.


Tiago Pierezan Camargo wrote:
> Signed-off-by: Tiago Pierezan Camargo <tcamargo at gmail.com>
> ---
>  doc/makepkg.conf.5.txt |    7 +++++++
>  etc/makepkg.conf.in    |    2 ++
>  scripts/makepkg.sh.in  |    9 ++++-----
>  3 files changed, 13 insertions(+), 5 deletions(-)
>
> diff --git a/doc/makepkg.conf.5.txt b/doc/makepkg.conf.5.txt
> index ca9df02..d6dd7dd 100644
> --- a/doc/makepkg.conf.5.txt
> +++ b/doc/makepkg.conf.5.txt
> @@ -136,6 +136,13 @@ Options
>  	that are located in opt/, you may need to add the directory to this
>  	array. *NOTE:* Do not add the leading slash to the directory name.
>  
> +**MAN_DIRS=(**{usr{,/local}{,/share},opt/*}/{man,info} ...**)**::
> +	If "zipman" is specified in the OPTIONS array, this variable will
> +	instruct makepkg where to look to compress manpages and docs. If you
> +	build packages	that are located in opt/, you may need to add the
> +	directory to this array. *NOTE:* Do not add the leading slash to
> +	the directory name.

Maybe change the description a bit:

...this variable will instruct makepkg where to look to compress man and info-pages.


Allan