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. Thomas