Re: [Graveman-general] graveman-0.3.10 doesn't use DESTDIR for man pages

[Sylvain Cresto]

Joshua Nichols a écrit :

> I was trying to build on Gentoo, and noticed that DESTDIR wasn't used
> for the man pages. This can be a bit of an annoyance when trying to
> package graveman. I'm pasting a fix below, although $(install_sh)
> should probably be used instead of cp and mkdir, but I wasn't able to
> get a patch working it.
>
>  

Hi,

Thanks for you work, but this problem is already corrected in CVS with 
this patch:

http://savannah.nongnu.org/bugs/download.php?item_id=12558&item_file_id=2383


Sylvain