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