HoTT/HoTT — pull request #190 by JasonGross (2013-08-22 16:55:41+00:00)
Title: ./autogen.sh

etc/install-sh was a symlink to
/usr/local/Cellar/automake/1.14/share/automake-1.14/install-sh. It no
longer is.

Reported By: Bas Spitters