HoTT/HoTT — pull request #188 by JasonGross (2013-08-21 04:59:02+00:00)
Title: Fixup autoconf

Try to make Makefile.am and configure.ac a bit more robust to strange systems. So much churn. :-( (This is why I don't like including autogenerated files, as mentioned at https://github.com/HoTT/HoTT/pull/180#issuecomment-22844816.)