HoTT/HoTT — pull request #180 by JasonGross (2013-08-16 23:32:53+00:00)
Title: Use coq makefile

This way, we support `make html` and `make TIMED=1` and other niceties
that coq_makefile gives us. Unfortunately, I haven't figured out how to
suppress the warning message about overwriting the `clean` target. I'm
pretty sure I got the ordering right, though, so that the `clean` target
does what we want it to. (There's also the slightly wonky dependency
that `clean` depends on `Makefile.coq`, but then goes and deletes it.
This is made worse by the fact that I had to put the stdlib .vo files as
a dependency for `Makefile.coq`, because I haven't figured out any other
way to inject them as dependencies in the targets of `Makefile.coq`.)