use travis to generate pdf and htmls