doc: Fix copyright for `c-extensions.texi'.

doc/c-extensions.texi

@@ -1,15 +1,6 @@
-@c This is part of the StarPU Handbook.
-
-@copying
-    Copyright (C) 2011  Centre National de la Recherche Scientifique
-
-    Permission is granted to copy, distribute and/or modify this document
-    under the terms of the GNU Free Documentation License, Version 1.3
-    or any later version published by the Free Software Foundation;
-    with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
-    See the GNU Free Documentation License in COPYING.GFDL for more details.
-@end copying
-
+@c This file is part of the StarPU Handbook.
+@c Copyright (C) 2011 Institut National de Recherche en Informatique et Automatique
+@c See the file starpu.texi for copying conditions.
 
 @node C Extensions
 @chapter C Extensions

doc/starpu.texi

@@ -8,6 +8,7 @@
 @copying
     Copyright (C) 2009-2011  Université de Bordeaux 1
     Copyright (C) 2010, 2011  Centre National de la Recherche Scientifique
+    Copyright (C) 2011 Institut National de Recherche en Informatique et Automatique
 
     Permission is granted to copy, distribute and/or modify this document
     under the terms of the GNU Free Documentation License, Version 1.3