David Kastrup <dak@gnu.org> wrote: > The Emacs documentation is far more integrated into its > normal operation than with other tools. It does not make sense to > separate them. Right. One wonders why they have to be under different licenses. The docs should be GPL'ed. This isn't what you intended to say, and I'm not putting words in your mouth. I'm just pointing out the flip side of the coin. Peter