diff mbox

[onlinedocs] : No more automatic rebuilt?

Message ID m2mx3n7st2.fsf@igel.home
State New
Headers show

Commit Message

Andreas Schwab June 28, 2012, 8:18 a.m. UTC 
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.

Comments

Jakub Jelinek June 28, 2012, 8:25 a.m. UTC | #1 
On Thu, Jun 28, 2012 at 10:18:49AM +0200, Andreas Schwab wrote:
> libgomp.texi is still using gpl.texi, although libgomp has been
> relicensed to GPLv3 in 2009.  OK?

Yes.

> 
> 	* libgomp.texi: Include gpl_v3.texi instead of gpl.texi.

	Jakub
Gerald Pfeifer June 28, 2012, 10:54 a.m. UTC | #2 
On Thu, 28 Jun 2012, Andreas Schwab wrote:
> libgomp.texi is still using gpl.texi, although libgomp has been
> relicensed to GPLv3 in 2009.  OK?

Looks good, thank you.

> (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?)

If it's not used any more, yes, please go ahead an remove it.

As for renaming gpl_v3.texi to gpl.texi, I'm not sure.

Gerald
diff mbox

Patch

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