From: Jason Riedy <ejr@eecs.berkeley.edu>
Date: Sat, 03 Dec 2005 06:35:17 GMT
Subject: Re: [PATCH] Include Makefile.localdef in Makefile, if it exists.
Message-ID: <3061.1133591717@lotus.CS.Berkeley.EDU>
In-Reply-To: <Pine.LNX.4.63.0512030322410.19086@wbgn013.biozentrum.uni-wuerzburg.de>

And Johannes Schindelin writes:
 - I wonder why you do not just override them in config.mak, which was 
 - introduced just for that purpose...

'Cause I'm a git and didn't notice it, thanks.  The prefix stuff 
probably ought to be moved below the -include config.mak so 
someone need only change $(prefix) and not the rest.  I might
send along such a patch, along with a note about config.mak in
INSTALL...

Jason