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