HoTT/HoTT — pull request #340 by JasonGross (2014-03-13 20:21:28+00:00)
Title: Fix install script for Make >= 4.0

This closes #69. For the time being (until we get a better version of
Coq), we simply patch Coq's configure script.

Also add a note about running scripts on Windows.