[rfa] gdb.texinfo: new release tarball commands

[Eli Zaretskii]

> Date: Fri, 10 Jan 2003 14:34:38 -0600
> From: Michael Elizabeth Chastain <mec@shout.net>
> 
> OK to apply?

Yes, but please make this small change before applying the patch:

> +If the top level source directory does not have @file{src-release}
> +(@value{GDBN} version 5.3.1 or earlier), try these commands instead.

Please end this sentence with a colon, not a period.

Thanks.