[ocaml-infra] caml.inria.fr/pub will be down in Jan 2016 for 48 hours

[Ashish Agarwal]

On Mon, Oct 5, 2015 at 1:13 PM, François Bobot <francois.bobot at cea.fr>
wrote:

 - we could make `http://caml.inria.fr/pub/docs/manual-ocaml/`
> <http://caml.inria.fr/pub/docs/manual-ocaml/> share the nice style of
> ocaml.org


That would be nice, but it won't be automatic. The HTML would have to made
compatible with ocaml.org's CSS rules.


Xavier Leroy wrote:
>
>> On 02/10/2015 15:51, François Bobot wrote:
>>
>>>   In your comment in a merge request[1] I understood that the contents
>>> in caml.inria.fr/pub/* doesn't go to ocaml.org in order to keep the job
>>> of Damien the release manager easy. Previously Fabrice and I though the
>>> reason was to keep /pub/ on caml.inria.fr in order to authenticate that
>>> a particular tarball is the official INRIA's version, not a fork
>>> modified by the community.
>>>
>>
>> Yes, Fabrice has a point with the authenticity of the sources.  But
>> note that this could be ensured by other means, e.g. GPG detached
>> signatures on releases, like the Linux kernel does.
>>
>> Damien, could infrastructure at lists.ocaml.org understand your workflow in
>>> order to mimic it?
>>>
>>
>> Well, at some point of Damien's workflow, it boils down to "drop some
>> files in an NFS-mounted partition so that they are served by
>> http://caml.inria.fr/".  Hard to make it any simpler than that
>>
>> For those who join the discussion: a problem with caml.inria.fr is
>> that it will be down for 2-3 days in January as it getes moved
>> physically from Rocquencourt to the new offices in Paris.  This will
>> annoy a number of users, esp. since OPAM fetches the OCaml core
>> sources from caml.inria.fr and nowhere else AFAIK.
>>
>> - Xavier
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/infrastructure/attachments/20151005/cdd42383/attachment.html>