Put the docs in a zip file when generating them

11 months ago, Gary Kramlich