added dvi, ps and pdf to documentation
[xboard.git] / manual /
drwxr-xr-x   ..
drwxr-xr-x - html_node
-rw-r--r-- 2957 index.html
-rw-r--r-- 90496 xboard.dvi.gz
-rw-r--r-- 260101 xboard.html
-rw-r--r-- 65171 xboard.html.gz
-rw-r--r-- 72561 xboard.html_node.tar.gz
-rw-r--r-- 58404 xboard.info.tar.gz
-rw-r--r-- 369134 xboard.pdf
-rw-r--r-- 177483 xboard.ps.gz
-rw-r--r-- 54442 xboard.texi.tar.gz
-rw-r--r-- 190900 xboard.txt
-rw-r--r-- 56426 xboard.txt.gz