[m-rev.] for review: improve `mmc --make' documentation

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

doc/user_guide.texi:
	Recommend building libraries with `--generate-mmc-deps'
	so that they can be used with `mmc --make'.

Index: user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.311
diff -u -u -r1.311 user_guide.texi
--- user_guide.texi	13 May 2002 18:22:33 -0000	1.311
+++ user_guide.texi	23 May 2002 15:55:58 -0000
@@ -1011,6 +1011,10 @@
 you also need the interface files.  That's why the
 @samp{libmypackage} target builds @samp{$(mypackage.ints)} and
 @samp{$(mypackage.int3s)}.
+To allow use of the library with @samp{mmc --make}, add
+ at samp{--generate-mmc-deps} to @samp{MCFLAGS}.
+ at findex --make
+ at findex --generate-mmc-deps
 If the people using the library are going to use intermodule
 optimization, you will also need the intermodule optimization interfaces.
 The @samp{libmypackage} target will build @samp{$(mypackage.opts)} if
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------