run tidy over html files; added include for gnu pages
[xboard.git] / gendocs.sh
2011-04-17 Arun Persaudhow to update the online documentation