Merge branch 'www' of git.sv.gnu.org:/srv/git/xboard into www
[xboard.git] / HOWTO
2011-04-17 Arun Persaudhow to update the online documentation