new documentation

[Denis Jaccard]

Hi,

I'm unable to download the new version of documentation. The link in the
left side of the homepage (under download) points to the older version
(orion1.2-doc.zip). In the on-line documentation area, there is also a link
which gives me the possibility to download the documenation package. This
link seems good since it points to orion1.3-doc.zip but, unfortunately, the
zip file is empty/corrupted.

Karl, could you have a look ?

Denis Jaccard