[Pkg-ocaml-maint-commits] [SCM] oasis2debian project branch, master, updated. a85c25dc2305eccf3507acf59d7cbbc09b4201dc

[Sylvain Le Gall]

The following commit has been merged in the master branch:
commit b30292929b7b16b40f3f48a3a684851d5e14aa79
Author: Sylvain Le Gall <gildor at debian.org>
Date:   Wed Feb 9 10:53:37 2011 +0000

    Use a more common debian stanza for debian/copyright

diff --git a/src/Copyright.ml b/src/Copyright.ml
index 277af3b..8fe44e8 100644
--- a/src/Copyright.ml
+++ b/src/Copyright.ml
@@ -58,7 +58,7 @@ let license_exception ~ctxt exc =
 
 let license_full ~ctxt t = 
   let see_common = 
-    Printf.sprintf "See '/usr/share/common-licenses/%s'."
+    Printf.sprintf "See '/usr/share/common-licenses/%s' for full text."
   in
   let min_ver =
     function
@@ -216,4 +216,7 @@ License: $license
 
 Files: debian/*
 Copyright: (C) ${year,%d} $t.uploader
-License: GPL-3+"))
+License: GPL-3+
+                
+ See '/usr/share/common-licenses/GPL-3' for full text.
+"))

-- 
oasis2debian project