HoTT/HoTT — pull request #271 by JasonGross (2013-11-28 16:56:25+00:00)
Title: Cut out contrib. in html paths

Proviola was picking up the wrong path for the HoTT book.