[m-rev.] for review: fix error in bindist README file

[Julien Fischer]

Fix a cut-and-paste error in the bindist README file.

Be more specific about which parts of the system are distributed
under the LGPL.

bindist/bindist.README:
 	Delete some text that was accidently pasted in from the
 	README file for the source distribution.

 	List all libraries that are licensed under the LGPL.

.README.in:
 	As per the second point above.

Julien.

Index: .README.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/.README.in,v
retrieving revision 1.25
diff -u -r1.25 .README.in
--- .README.in	14 Jul 2010 15:33:17 -0000	1.25
+++ .README.in	6 Sep 2010 03:04:16 -0000
@@ -6,10 +6,10 @@
  	under the terms of the GNU General Public License.  See the file
  	COPYING for copying permission.

-	The Mercury library and runtime (the files in the library and
-	runtime subdirectories) are distributed under the terms of the
-	GNU Library General Public License.  See the file COPYING.LIB for
-	copying permissions for those files.
+	The Mercury libraries and runtime (the files in the library, trace,
+	browser, ssdb, mdbcomp and runtime subdirectories) are distributed
+	under the terms of the GNU Library General Public License.  See the
+	file COPYING.LIB for copying permissions for those files.

  	If those licencing arrangements are not satisfactory, please
  	contact us!  We are willing to offer alternative arrangements,
Index: bindist/bindist.README
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/bindist/bindist.README,v
retrieving revision 1.20
diff -u -r1.20 bindist.README
--- bindist/bindist.README	14 Jul 2010 15:36:08 -0000	1.20
+++ bindist/bindist.README	6 Sep 2010 03:04:16 -0000
@@ -6,10 +6,11 @@
  	under the terms of the GNU General Public License.  See the file
  	COPYING for copying permission.

-	The Mercury library and runtime (libmer_std.* and libmer_rt.*)
-	runtime subdirectories) are distributed under the terms of the
-	GNU Library General Public License.  See the file COPYING.LIB for
-	copying permissions for those files.
+	The Mercury libraries and runtime (libmer_browser.*, libmer_std.*,
+	libmer_eventspec.*, libmer_trace.*, libmer_ssdb.*, libmer_mdbcomp.*,
+	libmer_rt.*) are distributed under the terms of the GNU Library
+	General Public License.  See the file COPYING.LIB for copying
+	permissions for those files.

  	If those licencing arrangements are not satisfactory, please
  	contact us!  We are willing to offer alternative arrangements,

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------