updated manuals to latest xboard.texi version

[xboard.git] / manual / xboard.ps.gz

diff --git a/manual/xboard.ps.gz b/manual/xboard.ps.gz
index 985ef50..e5c819c 100644 (file)
Binary files a/manual/xboard.ps.gz and b/manual/xboard.ps.gz differ