Re: [PATCH 3/3] Remove varobj_language_string, languages and varobj_languages

Eli Zaretskii
2013-10-29T16:49:20Z

> Date: Tue, 29 Oct 2013 16:31:39 +0800
> From: Yao Qi <yao@codesourcery.com>
> CC: <gdb-patches@sourceware.org>
>
> --- a/gdb/doc/gdb.texinfo
> +++ b/gdb/doc/gdb.texinfo
> @@ -32378,7 +32378,8 @@ For example, if @code{a} is an array, and variable object
> @end smallexample
>
> @noindent
> -Here, the values of @code{lang} can be @code{@{"C" | "C++" | "Java"@}}.
> +Here, the values of @code{lang} is the language name, which can be
^^^^^^
"value", in singular.

OK with that change. Thanks.

> +found in @ref{Supported Languages,,Supported Languages}.

I'm curious: why use the same string twice in @ref? What did you want
to accomplish?