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

Shoud I change my patch to use zipdoc/docdirs as Xavier suggested? It's 
trivial, so I just need an ok from other devs. :)

Tiago

Xavier escreveu:
> On Fri, Oct 10, 2008 at 1:46 PM, Allan McRae <allan at archlinux.org> wrote:
>> 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.
>>
>>
> 
> What about renaming the variable to be more relevant in the same time?
> 
> http://www.archlinux.org/pipermail/pacman-dev/2008-August/012787.html

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