Re: [Fwd: Cron <gdbadmin@sources> sh $HOME/ss/do-all-gdb-snapshots]

Eli Zaretskii
2002-01-22T18:39:37Z

> From: Brian Youmans <3diff@gnu.org>
> Date: Tue, 22 Jan 2002 11:56:23 -0500
>
> If the Internals Manual is a separate document that is usually used
> and/or printed separately from the main GDB manual, and it is at
> least, say, 20 pages, , it should have a separate FDL permission
> notice and copy of the FDL.

I don't think gdbint can be efficiently used without the user manual.

> As to the GPL - that is a political and authorial decision - is it
> useful practically and/or politically to give people a copy of the GPL
> in the manual? I think RMS has said in the past that he thinks the
> major GNU manuals should include a copy. Ask him if you want, but it
> is probably a good idea. Not required by license, but a good idea.

Yes, I agree.