HoTT/HoTT — pull request #268 by JasonGross (2013-11-25 21:58:18+00:00)
Title: Improve travis scripts

Now we will always build html, even on pull requests, and the checking
for whether or not to push is more robust. I'm going to push this directly, because it only touches travis.