zip rapidxml/manual.html to .zip