James Chacon wrote:
> 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

Yeah. It does have the licence stated further in the text,
and that being GNU Documentation Licence. I didn't study
it thorougly, but there is some differences in usage.

Anyway, this is clearly src/gnu material and I'll move it
there.

Jaromir
-- 
Jaromir Dolecek <jdolecek@NetBSD.org>            http://www.NetBSD.cz/
-=- We should be mindful of the potential goal, but as the Buddhist -=-
-=- masters say, ``You may notice during meditation that you        -=-
-=- sometimes levitate or glow.   Do not let this distract you.''   -=-