[onlinedocs]: No more automatic rebuilt?

[Andreas Schwab]

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, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."