Description: adapt doc license header to actual licensing.
 All the content available on libre.adacore.com is licensed
 under the terms of the pure GPL, despite the fact that AdaCore have
 not yet adjusted the licensing boilerplate in documentation and README.
 .
 Please see debian/copyright for more details.
Author: Ludovic Brenta <lbrenta@debian.org>

--- a/docs/xml.texi
+++ b/docs/xml.texi
@@ -48,10 +48,15 @@
 
 Copyright @copyright{} 2003-2010, AdaCore
 
-This document may be copied, in whole or in part, in any form or by any
-means, as is or with alterations, provided that (1) alterations are clearly
-marked as alterations and (2) this copyright notice is included
-unmodified in any copy.
+This document is free: you can redistribute it and/or modify it under
+the terms of the GNU General Public License as published by the Free
+Software Foundation, either version 2 of the License, or (at your
+option) any later version.
+
+This document 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
+General Public License for more details.
 
 @end titlepage
 
