Re: [Liberty-eiffel] Liberty docs

[Raphael Mack]

Thanks for the note, but actually we know already. It is just not  
straight forward to fix it ;-(

Maybe we also have to think about a tactic to remove the current docs  
only if they are successfully generated (once we are able to generate  
them again ;-)

Zitat von Germán Arias <address@hidden>:

> None of the links here works:
>
> http://doc.liberty-eiffel.org/
>
> Germán.