[m-dev.] diff: use LGPL rather than GPL for library/getopt.m

[Fergus Henderson]

Estimated hours taken: 0.25

library/getopt.m:
	License under the LGPL rather than the GPL.  The use of the
	GPL here was accidental; this file was originally in the
	compiler directory, and I forgot to change the license when I
	moved it to the library directory.

Workspace: /home/venus/fjh/ws-venus2/mercury
Index: library/getopt.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/getopt.m,v
retrieving revision 1.23
diff -u -d -r1.23 getopt.m
--- library/getopt.m	2000/11/12 08:51:33	1.23
+++ library/getopt.m	2001/02/12 06:52:34
@@ -1,6 +1,6 @@
 %-----------------------------------------------------------------------------%
 % Copyright (C) 1994-1999 The University of Melbourne.
-% This file may only be copied under the terms of the GNU General
+% This file may only be copied under the terms of the GNU Library General 
 % Public License - see the file COPYING in the Mercury distribution.
 %-----------------------------------------------------------------------------%
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- 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
--------------------------------------------------------------------------