Merge branch 'master' into v4.8.x
[xboard.git] / doc-maint / web-pages.org
2012-03-04 Arun Persaudadded some documentation about what's need to be done...