From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 28359 invoked by alias); 22 Jan 2002 18:39:37 -0000 Mailing-List: contact gdb-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sources.redhat.com Received: (qmail 28319 invoked from network); 22 Jan 2002 18:39:29 -0000 Received: from unknown (HELO thor.inter.net.il) (192.114.186.11) by sources.redhat.com with SMTP; 22 Jan 2002 18:39:29 -0000 Received: from zaretsky (diup-219-206.inter.net.il [213.8.219.206]) by thor.inter.net.il (Mirapoint) with ESMTP id AFG94046; Tue, 22 Jan 2002 20:39:19 +0200 (IST) Date: Tue, 22 Jan 2002 10:39:00 -0000 From: "Eli Zaretskii" To: 3diff@gnu.org Message-Id: <2561-Tue22Jan2002203905+0200-eliz@is.elta.co.il> X-Mailer: emacs 21.2.50 (via feedmail 8 I) and Blat ver 1.8.9 CC: ac131313@cygnus.com, gdb@sources.redhat.com In-reply-to: (message from Brian Youmans on Tue, 22 Jan 2002 11:56:23 -0500) Subject: Re: [Fwd: Cron sh $HOME/ss/do-all-gdb-snapshots] Reply-to: Eli Zaretskii References: <3C4B989F.4070603@cygnus.com> X-SW-Source: 2002-01/txt/msg00247.txt.bz2 > 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.