[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]

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.

-- 
Tiago Pierezan Camargo
milopi @ irc.freenode.net
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: 0002-Renamed-zipman-to-zipdoc.-Improved-MAN_DIRS-document.patch
URL: <http://archlinux.org/pipermail/pacman-dev/attachments/20081014/6b4a8c0a/attachment.diff>