Use Travis CI to automate generation of both PDF and HTML versions and upload to gh-pages.
Use Travis CI to automate generation of both PDF and HTML versions and upload to gh-pages.