for review: README.Linux update for shared libs.

[Tyson Dowd]

Estimated hours taken: 1

README.Linux:
	Use `ml --shared' rather than `ml --mercury-libs shared'
	as the latter doesn't work.

	Also don't talk worry about the difference between linking
	just the Mercury libraries statically/shared -- assume
	static or shared is an all-or-nothing concern (which it
	probably is for most users).

--- mercury-0.8.1.orig/README.Linux
+++ mercury-0.8.1/README.Linux
@@ -25,11 +25,8 @@
 a future release.)
 
 To use the shared libraries, you must compile your program with
-`mmc --pic-reg' and link with `ml --mercury-libs shared'
-or add `MGNUCFLAGS=--pic-reg' and `MLFLAGS=--mercury-libs shared'
-to your Mmake file.  If you are linking against Mercury libraries
-other than the standard library, replace `--mercury-libs shared'
-with `--shared'.
+`mmc --pic-reg' and link with `ml --shared' or add 
+`MGNUCFLAGS=--pic-reg' and `MLFLAGS=--shared' to your Mmake file.
 
 Mercury code compiled with `--pic-reg' or with gcc's `-fpic' option has
 what we shall call "PIC linkage", whereas Mercury code compiled without

-- 
The quantum sort: 
	while (!sorted) { do_nothing(); }
Tyson Dowd   <tyson at tyse.net>   http://tyse.net/