Hello,

The attached adds an appendix containing the GPL to GDB.texinfo.  It 
also adds an appendix containing FDL to GDBINT.texinfo.  Hopefully this 
closes off another potential issue luring from the 5.1.0.x series.

Ok?

(I stole the file gpl.texi from GCC :-)

Andrew