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