[m-dev.] cvs diff: EXTRA_* flags

[Fergus Henderson]

Tyson Richard DOWD, you wrote:
> 
> Okay, here we go again. Fergus, is this what you intended?

Yes.  The changes to the code are exactly what I intended.
But the documentation should be improved.

The variables you are documenting are `Mmake' variables,
not just environment variables; they can be set on
the command line, not just in the environment.
Also, you should document the non-`EXTRA_' versions.
They should be documented at the end of the `Using Mmake'
section.  (Originally, they _were_ documented there;
Zoltan removed that documentation -- I don't know why.)

You should document that Mmake files should use
set the non-`EXTRA_' versions, and should include the
`EXTRA_' versions at the end, e.g.

	MCFLAGS = -O6 $(EXTRA_MCFLAGS)

(Either that, or all the rules should be changed
to pass both $(FOOFLAGS) and $(EXTRA_FOOFLAGS).)

-- 
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.