Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix build on Travis #178
This PR upgrades the Travis infrastructure and reworks a few things. It seems to work again. I believe that what was wrong was we crossed some sort of memory threshold and the job began to swap and then took too long to finish. I've restructured the code so that it doesn't try to make all of the indexes in a single XSLT stylesheet.