[RFC] Add possibility to force buffering mode for stdout/stderr

[Eli Zaretskii]

> From: "Pierre Muller" <pierre.muller@ics-cnrs.unistra.fr>
> Cc: <gdb-patches@sourceware.org>
> Date: Wed, 21 Aug 2013 19:26:10 +0200
> 
> > Please also document this command in the manual.
> 
>   Where should I add information about such a feature...
> as it is only useful for developers,
> it's probably better to put it into gdbint.texinfo, no?
>   But I found no obvious place where to put such information...
> 
> I need your help here!

There's a node called "Maintenance Commands" which should be a good
place, I think.