>> > If I get an OK, is there any reason to not include these with
>> > groff?
>>
>> This would be great! What kind of license is it? Within the groff
>> tarball, I'm restricted to licenses which are compatible with
>> GPL 3.
>
> Um, I fail to see why any license has to be GPL anything, the docs
> are not part of the groff source.
I'm talking about the groff tarball which also holds the source files.
If any of the documents is eventually added there, it *must* be
compatible to GPL 3. Otherwise, we can still create a new tarball
holding those documents with a less permissive (but still free)
license.
Werner