docs: def MakeZip(self, input_dir, output_file):
      """Creates a ZIP archive of the files in the input directory.
  
      Args:
        input_dir: the name of the input directory.
        output_file: the name of the output ZIP archive without extension.
      """
  
      logging.info("Generating zip template file at %s", output_file)
      zf = zipfile.ZipFile(output_file, "w")
      oldwd = os.getcwd()
      os.chdir(input_dir)
      for path in ["debian", "rpmbuild", "fleetspeak"]:
        for root, _, files in os.walk(path):
          for f in files:
            zf.write(os.path.join(root, f))
      zf.close()
      os.chdir(oldwd)