Jenkins script fixup for creating html.