[m-dev.] diff: improve documentation for EXTRA_LIB_DIRS

[Fergus Henderson]

Estimated hours taken: 0.25

doc/user_guide.texi:
	Warn that the directory name for @samp{EXTRA_LIB_DIRS} is the
	same as @samp{INSTALL_PREFIX}.

Workspace: /home/hg/fjh/mercury
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.241
diff -u -d -r1.241 user_guide.texi
--- doc/user_guide.texi	2001/02/19 06:28:40	1.241
+++ doc/user_guide.texi	2001/02/24 16:42:47
@@ -916,6 +916,11 @@
 the relevant interface files, module initialisation files, compiled
 libraries, etc.
 
+Beware that the directory name that you must use in @samp{EXTRA_LIB_DIRS}
+is not quite the same as the name that was specified in the
+ at samp{INSTALL_PREFIX} when the library was installed --- the name in
+ at samp{EXTRA_LIB_DIRS} needs to have @samp{/lib/mercury} appended.
+
 One can specify extra libraries to be used on a program-by-program
 basis.  For instance, if the program @samp{foo} also uses the library
 @samp{mylib4foo}, but the other programs governed by the Mmakefile don't,

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------