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