HoTT/HoTT — pull request #290 by JasonGross (2013-12-17 18:59:29+00:00)
Title: Use maintainer mode in configure

This will automatically rebuild Makefile and configure if needed,
preventing problems like the missing targets in
https://github.com/HoTT/HoTT/pull/286#issuecomment-30749614. This means
that we now depend on having autobuild around to run ./configure and
make, though I think that systems without them will simply get warnings,
and not errors.