Re: [6.1] TUI in doco?

["Eli Zaretskii" <eliz@elta.co.il>]

> Date: Mon, 22 Mar 2004 16:30:24 -0500
> From: Andrew Cagney <cagney@gnu.org>
> 
> The attached is hopefully getting there.

Thanks.  My comments below.

> I also noticed an inconsistency in its name.  "Terminal User
> Interface" is what HP use, it fixes that as well.

FWIW, the previous interpretation of TUI was better: it's a text-mode
UI; "terminal" doesn't necessarily imply "text-mode".  Oh well...

> +@pindex @code{gdbtui}

There's no need to use @code in @pindex entries, these entries are
automatically typeset in the same typeface as arguments of @code.

> +Activate the Terminal User Interface when starting.  The Terminal User

The first occurence of "Terminal User Interface" would look better in
@dfn.  Also, a @cindex entry for "Terminal User Interface" somewhere,
probably where you have an index entry for TUI, could be a good idea.

> +The TUI is enabled by invoking @value{GDBN} using either
> +@pindex gdbtui
> +@samp{gdbtui} or @samp{gdb -tui}.

This is the second time we have a @pindex entry about gdbtui; one of
them is redundant and should be removed, I think.

Otherwise, fine with me.