Re: Options and the manual

Hi

On 01/05/2012 01:47 PM, Tim Mann wrote:
> 
> [old options]
> Sure, let's get rid of those. I don't remember why I had both "-" and
> "x" prefixes to turn off boolean options. The "-" prefix seems like a
> bad idea.

should we add a section in the manual with deprecated items or have
xboard output a warning/error when those items are used? I would prefer
that instead of just deleting them.

ARUN