[OB PATCH] Fix doc for -add-inferior

[Yao Qi]

On 06/04/2013 10:36 PM, Pedro Alves wrote:
> Any existing frontend that is using -add-inferior will be expecting to
> see "inferior" there in order to extract the inferior id.  It's quite natural
> that other frontends authors hadn't even noticed the 'reality vs documentation'
> divergence, as -add-inferior resulting in "inferior" borders on
> so-obvious-who-needs-to-check-docs-anyway output.  IMNSHO, it's better to
> just document the over-3-year-old current behavior.

OK, that is unfortunate.

-- 
Yao (齐尧)