[m-rev.] trivial diff: Fix a typo in the User's Guide.

[Michael Wybrow]

Estimated hours taken: 0.1
Branches: main

mercury/doc/user_guide.texi:
	Fix a typo.

Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.346
diff -u -r1.346 user_guide.texi
--- doc/user_guide.texi	2 Jan 2003 06:53:57 -0000	1.346
+++ doc/user_guide.texi	10 Jan 2003 05:27:07 -0000
@@ -676,7 +676,7 @@
 @vindex EXTRA_CFLAGS
 Options to pass to the C compiler.
 
- at item JAVACLAGS and EXTRA_JAVACFLAGS
+ at item JAVACFLAGS and EXTRA_JAVACFLAGS
 @vindex JAVACFLAGS
 @vindex EXTRA_JAVACFLAGS
 Options to pass to the Java compiler (if you are using it).

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