HoTT/HoTT — pull request #267 by JasonGross (2013-11-25 20:20:06+00:00)
Title: Fix html target

I messed up with the paths to contrib files. We might want to pass an extra -R argument for the contrib folder, but that would be on top of this pull request. I'm going to merge this, since it's a minor bug fix that doesn't touch the actual library.