[m-dev.] diff: Small fixes for Morphine (0.9.x and main branch)

[Erwan Jahier]

| Hi,
| 
| These fixes will be committed on the version-0_9_x branch as well
| as the main branch.
| 
| ===================================================================
| 
| 
| Estimated hours taken: 1.5
| 
| A few fixes for Morphine to make installation easier.
| 
| extras/morphine/README:
| 	Point out that there is a tutorial on the Morphine web page,
| 	as otherwise it can be difficult to know what to do.
|
| extras/morphine/INSTALL-MORPHINE:
| 	Use ../../library as the default path for the Mercury library
| 	files, as this is the normal path if you checkout the CVS
| 	module.
| 
| extras/morphine/source/make_scenario.pl:
| 	Fix a bug -- use redirection instead of the -i option to patch,
| 	as many systems don't support -i (e.g. taifun, a Solaris box).
| 

It looks fine, thanks.

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