libgomp.texi is still using gpl.texi, although libgomp has been relicensed to GPLv3 in 2009. OK?
(This is the last use of gpl.texi in the gcc sources. Perhaps it should be removed and gpl_v3.texi renamed back to gpl.texi?) Andreas. * libgomp.texi: Include gpl_v3.texi instead of gpl.texi. diff --git a/libgomp/libgomp.texi b/libgomp/libgomp.texi index 29c078b..f8996f4 100644 --- a/libgomp/libgomp.texi +++ b/libgomp/libgomp.texi @@ -7,7 +7,7 @@ @copying -Copyright @copyright{} 2006, 2007, 2008, 2010, 2011 Free Software Foundation, Inc. +Copyright @copyright{} 2006, 2007, 2008, 2010, 2011, 2012 Free Software Foundation, Inc. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or @@ -1737,7 +1737,7 @@ Bugs in the GNU OpenMP implementation should be reported via @c GNU General Public License @c --------------------------------------------------------------------- -@include gpl.texi +@include gpl_v3.texi -- 1.7.11.1 -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different."