HoTT/HoTT — pull request #185 by JasonGross (2013-08-19 21:53:06+00:00)
Title: Make html

This is an alternate to #180. It still adds a dependency on `dh-autoreconf`, which I can be persuaded to remove. Instead of using `coq_makefile`, this simply adapts the `html` target and the `TIMED=1` option.