Re: License for documentation

[bruce]

I'll ask Stallman to confirm or deny. If these manuals really aren't under
the GPL at all, Debian has a lot of packages mis-labeled.

        Bruce