[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