Revision 6c8fd9368f0d747a488383d3df166df7bf84d631

Committed on 07/05/2013 1:40 am by Raymond Julin <raymond.julin@gmail.com> [GitHub Diff]

Clean the docs/ folder before building anew