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

[Joshua Nichols]

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/Makefile.am     2005-04-01 18:55:57.000000000 -0500
+++ graveman-0.3.10-patched/man/Makefile.am     2005-04-08 17:17:09.011835488 
-0400
@@ -13,7 +13,7 @@
        true
 
 install:
-       test -d "${Applicationman}/${Applicationchapitre}" && cp
graveman.man ${Applicationman}/${Applicationchapitre}/graveman.1
+       mkdir -p "${DESTDIR}${Applicationman}/${Applicationchapitre}" && cp
graveman.man ${DESTDIR}${Applicationman}/${Applicationchapitre}/graveman.1
        for lang in fr ; do \
-               test -d "${Applicationman}/$$lang/${Applicationchapitre}" && cp
"graveman.$$lang.man"
"${Applicationman}/$$lang/${Applicationchapitre}/graveman.1" ; \
+               mkdir -p 
"${DESTDIR}${Applicationman}/$$lang/${Applicationchapitre}"
&& cp "graveman.$$lang.man"
"${DESTDIR}${Applicationman}/$$lang/${Applicationchapitre}/graveman.1"
; \
        done