if [ "X$2" = "XPOST-INSTALL" ]; then
	rm -f /usr/local/SmartEiffel
	ln -s /usr/local/$1/ /usr/local/SmartEiffel
fi 
