updated manuals to latest xboard.texi version
[xboard.git] / manual /
drwxr-xr-x   ..
drwxr-xr-x - html_node
-rw-r--r-- 2949 index.html
-rw-r--r-- 91489 xboard.dvi.gz
-rw-r--r-- 262583 xboard.html
-rw-r--r-- 65816 xboard.html.gz
-rw-r--r-- 73297 xboard.html_node.tar.gz
-rw-r--r-- 58991 xboard.info.tar.gz
-rw-r--r-- 370936 xboard.pdf
-rw-r--r-- 178391 xboard.ps.gz
-rw-r--r-- 55073 xboard.texi.tar.gz
-rw-r--r-- 192734 xboard.txt
-rw-r--r-- 57035 xboard.txt.gz