Description: remove ambiguity about GPL
 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.
 .
 This is stated for example at
 http://lists.adacore.com/pipermail/gtkada/2009-June/003789.html. The
 actual license is a decision of AdaCore. Please contact them at
 libre@adacore.com for any clarification. .
 .
 This is confirmed by the fact that COPYING3 exists in the top
 directory.
Author: Ludovic Brenta <lbrenta@debian.org>
Forwarded: not-needed

--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@@ -31,8 +31,3 @@
 Copyright (C) 2001, Pascal Obry, Dmitriy Anisimkov
 
 Copyright (C) 2002-2013, 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.
