add generation date to HTML output