HoTT/HoTT — pull request #192 by JasonGross (2013-08-22 20:59:37+00:00)
Title: More autoconf

Clean up a few more things in configure.ac. I unintentionally changed `COQCDEP` and `COQCDOC` to `COQDEP` and `COQDOC`. Was there a reason for having them the other way?