def zip_html(self):
zip_fname = os.path.join(BUILD_PATH, '<STR_LIT:html>', '<STR_LIT>')<EOL>if os.path.exists(zip_fname):<EOL><INDENT>os.remove(zip_fname)<EOL><DEDENT>dirname = os.path.join(BUILD_PATH, '<STR_LIT:html>')<EOL>fnames = os.listdir(dirname)<EOL>os.chdir(dirname)<EOL>self._run_os('<STR_LIT>',<EOL>zip_fname,<EOL>'<STR_LIT>',<EOL>'<STR_LIT>',<EOL>*fnames)<EOL>
Compress HTML documentation into a zip file.