[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/...).

[Tiago Pierezan Camargo]

Hi,

I didn't hear any complaints or suggestions about my last patch. :)
Is it going to be committed?

Regards,
Tiago

Tiago Pierezan Camargo escreveu:
> Replying to myself..
> 
> Tiago Pierezan Camargo escreveu:
>  > Shoud I change my patch to use zipdoc/docdirs as Xavier suggested?
>  > It's trivial, so I just need an ok from other devs. :)
> 
> What's in this patch?
> 1) Improved description (Allan's suggestion)
> 2) Renamed zipman to zipdoc (Xavier/Dan's suggestion)
> 
> The zipman option is still supported. I just changed all references to 
> zipdoc and put a small reminder to remove it later. The docdirs change 
> isn't needed with the new MAN_DIR variable (if I got Dan's comment right).
> 
> Suggestions and comments are welcome.
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> pacman-dev mailing list
> pacman-dev at archlinux.org
> http://archlinux.org/mailman/listinfo/pacman-dev

-- 
Tiago Pierezan Camargo
milopi @ irc.freenode.net