Index: Portfile
===================================================================
--- Portfile	(revision 85998)
+++ Portfile	(working copy)
@@ -80,12 +80,10 @@
                     file attributes $env(ISE_EIFFEL)/compatible/precomp/spec/$env(ISE_PLATFORM) -permissions g+w
                   }
 
-post-activate     {
-                    ui_msg " ################################################################################## \n\
+notes "
                         To complete the installation you have to add the following to your .bashrc or .profile file : \n\
                         export ISE_PLATFORM=$env(ISE_PLATFORM) \n\
                         export ISE_EIFFEL=${applications_dir}/Eiffel${branch} \n\
                         export GOBO=\$ISE_EIFFEL/library/gobo/svn \n\
                         export PATH=\$PATH:\$ISE_EIFFEL/studio/spec/\$ISE_PLATFORM/bin:\$GOBO/../spec/\$ISE_PLATFORM/bin \n\
-                        ################################################################################## \n"
-                  }
+"