[m-rev.] for review: fix problems with --search-lib-files-dir

[Peter Wang]

On 2006-11-28, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> >Index: doc/user_guide.texi
> >===================================================================
> >RCS file: /home/mercury/mercury1/repository/mercury/doc/user_guide.texi,v
> >retrieving revision 1.499
> >diff -u -r1.499 user_guide.texi
> >--- doc/user_guide.texi	24 Nov 2006 03:48:15 -0000	1.499
> >+++ doc/user_guide.texi	28 Nov 2006 00:25:04 -0000
> >@@ -8475,10 +8475,13 @@
> >@findex --search-library-files-directory
> >@cindex Directories for libraries
> >@cindex Search path for libraries
> >-Equivalent to adding @var{directory} using all of the
> >+Search @var{directory} for uninstalled Mercury library files.
> 
> uninstalled suggest that they were installed and then were ...
> well uninstalled.  I would say:
> 
> 	Search @var{directory} for Mercury library files that
> 	have not yet been installed.

Okay.

> >+Similar to adding @var{directory} using all of the
> 
> Is it similar or equivalent?

It's no longer equivalent as it adds different subdirectories under
<directory> depending on the grade and --use-grade-subdirs.

Peter

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------