HoTT/HoTT — pull request #24 by DanGrayson (2012-10-18 00:54:23+00:00)
Title: fix dependencies

Dependencies have to be generated twice, for some reason.
The file .depend should not be optional.