updated manuals to latest xboard.texi version
[xboard.git] / manual / xboard.html.gz
index 54e4362..fab8ea8 100644 (file)
Binary files a/manual/xboard.html.gz and b/manual/xboard.html.gz differ