added dvi, ps and pdf to documentation
[xboard.git] / manual / html_node / Options-Menu.html
2009-06-07 Arun Persaudadded documentation folder