[m-rev.] for review: add index to user guide

[Simon Taylor]

On 05-Jun-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Here's a relative diff.
> 
> --- user_guide.texi.old	Tue Jun  5 21:14:44 2001
> +++ user_guide.texi	Tue Jun  5 22:01:48 2001
> @@ -601,7 +601,7 @@
>  (in particular @code{mmc}, @code{mgnuc}, @code{ml}, and @code{c2init}).
>  
>  @item MCFLAGS and EXTRA_MCFLAGS
> - at vindex CFLAGS
> + at vindex MCFLAGS
>  @vindex EXTRA_CFLAGS
>  Options to pass to the Mercury compiler.
>  (Note that compilation model options should be

Missed one.

Simon.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------