[SCM] Git Repository for packaging Poly/ML (http://www.polyml.org) branch, master, updated. debian/5.2-3-13-g9598da8

[Lionel Elie Mamane]

The following commit has been merged in the master branch:
commit 9598da8eb0f41ba135b5dfa16f20c6a9c654f266
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Sat Aug 16 15:42:08 2008 +0200

    Copyright file updated
    aka reintroduce the other half of c39d564aec2a0cecac82faf16a8de18973e9e4f3

diff --git a/debian/copyright b/debian/copyright
index 09249c2..668d4e7 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -3,23 +3,12 @@ Author: Achim D. Brucker <brucker at member.fsf.org>
 Copyright: Copyright 2008  Achim D. Brucker <brucker at member.fsf.org> 
 License: LGPL-2.1+
  The Debian packaging is licensed under the LGPL, version 2.1 or later,
- see below.
+ On Debian systems the full text of the GNU General Public License can be found
+ in the `/usr/share/common-licenses/LGPL-2.1' file.
 
 Files: *
 Author: David Matthews <polyml at polyml.org>
 Copyright: Copyright  1999-2008 David Matthews <polyml at polyml.org>
 License: LGPL-2.1+
-  This package is free software; you can redistribute it and/or
-  modify it under the terms of the GNU Lesser General Public
-  License as published by the Free Software Foundation; either
-  version 2.1 of the License, or (at your option) any later version.
-
-  This package is distributed in the hope that it will be useful,
-  but WITHOUT ANY WARRANTY; without even the implied warranty of
-  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
-  Lesser General Public License for more details.
-
-  You should have received a copy of the GNU Lesser General Public
-  License along with the Debian GNU/Linux distribution in 
-  /etc/share/common-licenses/LGPL-2.1.
-  If not, see <http://www.gnu.org/licenses/>.
+ On Debian systems the full text of the GNU General Public License can be found
+ in the `/usr/share/common-licenses/LGPL-2.1' file.

-- 
Git Repository for packaging Poly/ML (http://www.polyml.org)