On Fri, Mar 26, 2004 at 01:09:15PM -0600, James Chacon wrote:
> On Fri, Mar 26, 2004 at 07:04:19PM +0100, Jaromir Dolecek wrote:
> > James Chacon wrote:
> > > Umm...isn't the info file also GPL'd? If so, this shoudn't go into usr.bin/..
> 
> > 
> > It doesn't have any copyright notice, so it's not GPLed AFAICS -
> > merely (c) FSF.
> 
> Umm...It's included as part of a package that claims "everything in here
> COPYING applies to", right? (mainly cause I'll bet if you ask the FSF they'll
> say it's GPL'd)
> 

And reading through it, it clearly has the GPL contained within it..

i.e. this is exactly gawk.texi with s/gawk.info/awk.info/ applied to it.

So I don't see how this isn't GPL'd and as such clearly doesn't go into
usr.bin

James