[m-dev.] bug fix in the Morphine installation process

[Erwan Jahier]

| On 06-Mar-2000, Erwan Jahier <Erwan.Jahier at irisa.fr> wrote:
[...]
| Something like the following might be clearer:
| 
| 	*** Unable to use `patch' system command.
| 	Make sure that you have `patch' installed and in your PATH.
| 	If you already have a version of `patch' installed, and it
| 	is not working, then try using the GNU version of patch instead.

Ok, done.
-- 
R1.


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------