Add configure-options section to texi file
authorH.G.Muller <hgm@hgm-xboard.(none)>
Mon, 29 Feb 2016 13:24:11 +0000 (14:24 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Mon, 29 Feb 2016 13:24:11 +0000 (14:24 +0100)
commit28942b4b88b8142ce938d0cfc8054fb3b15b7c49
tree1c5eae9a738120cbb89bf4c070c06f085ca84edf
parent8f08f6bef6f64647f54cd2f503255efb461bfe8d
Add configure-options section to texi file

The options data, saveDate, addMasterOption, installEngine, installTheme
and autoClose are now described in the manual.
xboard.texi