Bug#677313: xboard: no way to remember -inc/-timeIncrement option

[h.g. muller]

At 09:45 2-1-2013 -0800, Ian Zimmerman wrote:
>On Wed, 02 Jan 2013 10:31:34 +0200
>"h.g. muller" <h.g.muller at hccnet.nl> wrote:
>
> > The manual in general does not list with every option whether it is
> > persistent or volatile.
>
>It says this:
>
>        This  section documents the command-line options to XBoard.  You
>        can set these options in two ways: by typing them on the shell
>        command line you use to start XBoard,  or  by  editing  the
>        settings  file  (usually ~/.xboardrc) to alter the value of the
>        setting that was saved there.
>
>which is false for any option of the "volatile" kind (I didn't know
>they existed).

The manual was written at a time when XBoard did not have a settings file
at all, and all options were volatile. The settings file was something that was
ported from WinBoard.  That makes the manual a bit obsolete in some places.
I can't work on the code and the manual at the same time, and working on
the code is already close to 1.5 full-time jobs. So the best strategy seemed
to be to just give up on the manual.