[m-dev.] for review: Mmake installation commands

Fergus Henderson fjh at cs.mu.OZ.AU
Thu May 11 13:07:30 AEST 2000


On 11-May-2000, Simon TAYLOR <stayl at cs.mu.OZ.AU> wrote:
> Index: doc/user_guide.texi
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
> retrieving revision 1.205
> diff -u -u -r1.205 user_guide.texi
> --- doc/user_guide.texi	2000/04/20 06:26:42	1.205
> +++ doc/user_guide.texi	2000/05/10 07:37:24
> @@ -434,7 +434,10 @@
>  (for platforms that support it) a shared object library,
>  for the default grade and also for the additional grades specified
>  in the LIBGRADES variable.  It will also build and install the
> -necessary interface files.
> +necessary interface files. The variable INSTALL specifies
> +the name of the command to use to install each file, by default
> + at code{cp}. The variable INSTALL_MKDIR specifies the command to use
> +to create directories, by default @code{mkdir -p}.

LIBGRADES, INSTALL, and INSTALL_MKDIR should be in @code{},
and `cp' and `mkdir -p' should be in @samp{} rather than @code{}.

> + at item INSTALL
> +The command used to install each file in a library. The command should
> +take a list of files to install and the location to install them.
> +The default command is @code{cp}.
...
> + at item INSTALL_MKDIR
> +The command used to create each directory in the directory hierarchy
> +where the libraries are to be installed. The default command is
> + at code{mkdir -p}.

Likewise here `cp' and `mkdir -p' should be in @samp{}.

Apart from that, this change looks fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- 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
--------------------------------------------------------------------------



More information about the developers mailing list