[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Joshua Nichols
Subject: [Graveman-general] graveman-0.3.10 doesn't use DESTDIR for man pages
Date: Fri, 8 Apr 2005 17:25:11 -0400

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.

--- graveman-0.3.10/man/     2005-04-01 18:55:57.000000000 -0500
+++ graveman-0.3.10-patched/man/     2005-04-08 17:17:09.011835488 
@@ -13,7 +13,7 @@
-       test -d "${Applicationman}/${Applicationchapitre}" && cp ${Applicationman}/${Applicationchapitre}/graveman.1
+       mkdir -p "${DESTDIR}${Applicationman}/${Applicationchapitre}" && cp ${DESTDIR}${Applicationman}/${Applicationchapitre}/graveman.1
        for lang in fr ; do \
-               test -d "${Applicationman}/$$lang/${Applicationchapitre}" && cp
"${Applicationman}/$$lang/${Applicationchapitre}/graveman.1" ; \
+               mkdir -p 
&& cp "graveman.$$"
; \

reply via email to

[Prev in Thread] Current Thread [Next in Thread]