[m-dev.] diff: Installation changes for easier packaging.

[Fergus Henderson]

Tyson Richard DOWD, you wrote:
> 
> +# FINAL_INSTALL_PREFIX is provided so that you can install to
> +# a particular directory, with the intention to move that install
> +# to a different location at a later time. 
> +# This makes it easier for packaging tools to install.
> +# (As a consequence, if you want to override INSTALL_PREFIX on
> +# the command line, you should override FINAL_INSTALL_PREFIX too,
> +# unless you actually want to move the files to a final destination
> +# later).
> +# Note: Other FINAL_INSTALL_* variables have a similar meaning.
> +
>  INSTALL_PREFIX		= @prefix@
> +FINAL_INSTALL_PREFIX	= @prefix@

I suggest you change that to

	FINAL_INSTALL_PREFIX	= $(INSTALL_PREFIX)

and delete the comment in parentheses above.

Otherwise that looks fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.