./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
Merge pull request #190 from JasonGross/fix-autoconf-symlink

./autogen.sh
Moving Canonical Structures
Merge branch 'master' of https://github.com/HoTT/HoTT