post_install() {
	echo -e "->  The inform compiler binaries have been installed as i6 and ni."
	echo -e "->  For convenience, a wrapper is provided to set the inform7 library path."
}