Subject: Re: PKGMANDIR
To: Stoned Elipot <seb@ssr.univ-paris7.fr>
From: Jeremy C. Reed <reed@reedmedia.net>
List: tech-pkg
Date: 10/04/2005 14:31:01
On Tue, 4 Oct 2005, Jeremy C. Reed wrote:
> + +-MANDIR = $(DEST)/man/man1
> ++MANDIR = $(DEST)/$(PKGMANDIR)/man1
Actual I should use:
MANDIR ?= $(DEST)/man/man1
so the one line fix can be submitted upstream. And then set MANDIR to
${PKGMANDIR} in make environment.
Jeremy C. Reed
technical support & remote administration
http://www.pugetsoundtechnology.com/