if [ "X$2" = "XPOST-INSTALL" ]; then
	ln -fs %%PREFIX%%/$1 %%PREFIX%%/SmallEiffel;
fi