Re: [XBoard-devel] forgot to mention

[h.g. muller]

> do we need a command line option for this or should we rather use a
> configure option? I think the latter would be a nicer way to go, since
> there is really no need for the user to change this or is there?

Well, I was just honoring Byrial's request. If you know how to do it with a
configure option, feel free to revert the commit or patch it further.