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