On Mon, Jan 14, 2002 at 08:27:46PM -0800, Thomas Bushnell, BSG wrote: > > RMS reports that a new upstream GDB release has been made (5.1.0.1) > which fixes the copyright problem on the GDB manuals. I've filed an > RC bug against the gdb package urging an upgrade. Thanks Thomas, there is indeed no more invariant sections in gdbint and stabs manuals, and gdb manual has two called "Free Software" and "Free Software Needs Free Documentation". Denis