HoTT/HoTT — pull request #5 by mikeshulman (2011-12-15 19:28:26+00:00)
Title: Update HIT/Makefile also to avoid constant recompilation.

Matching Andrej's fix to the main Makefile.