Eli,

Here is a documentation update for the patch suggested at:
http://www.sourceware.org/ml/gdb-patches/2009-06/msg00403.html

The patch just adds a setting that allows the user to override
the guessing that GDB does in order to determine whether it should
run in interactive or non-interactive mode.

I'm also attaching the code patch, in case you have some comments
about the option and its help documentation itself.

2009-06-23  Joel Brobecker  <brobecker@adacore.com>

        * gdb.texinfo (Other Misc Settings): New node.

I tried to find a good place for it, but nothing really seemed
appropriate.  Peharps if we renamed the "Screen Size" section
to be a little more generic, we could put our new option there.
But it seemed a little artificial, and might make finding these
screen-size related option a little harder to find.  Since the latter
will probably be much more widely used, I didn't think it was the
best thing to do.  Hence the new "misc" section.

OK to apply?

Thanks,
-- 
Joel