Re: [Liberty-eiffel] preparing rc1

[Raphael Mack]

Am Dienstag, den 08.10.2013, 10:29 +0200 schrieb Cyril ADRIAN: 
> 
> 2013/10/8 Cyril ADRIAN <address@hidden>
>         I'm considering adding liberty-specific directories. 
> 
> Done. On Unix it even follows XDG specifications
> (freedesktop): /etc/xdg/liberty-eiffel and
> $HOME/.config/liberty-eiffel are now the default config directories.
> 
> Note that the old serc directories are still scanned, but with a lower
> priority.

The question is about "Please note that SmartEiffel should not be
already installed on your system. Particularily, any /etc/serc file will
prevent you from installing Liberty " Which is still in the INSTALL
file. Is it true and does it need to be (temporarily) removed for
Liberty installation? We should give the user this advice in the INSTALL
file.

Regards,
Rapha