<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Oct 5, 2015 at 1:13 PM, François Bobot <span dir="ltr"><<a href="mailto:francois.bobot@cea.fr" target="_blank">francois.bobot@cea.fr</a>></span> wrote:<br><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
 - we could make `<a href="http://caml.inria.fr/pub/docs/manual-ocaml/" rel="noreferrer" target="_blank">http://caml.inria.fr/pub/docs/manual-ocaml/`</a> share the nice style of <a href="http://ocaml.org" rel="noreferrer" target="_blank">ocaml.org</a></blockquote><div><br></div><div>That would be nice, but it won't be automatic. The HTML would have to made compatible with <a href="http://ocaml.org">ocaml.org</a>'s CSS rules.</div><div><br></div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Xavier Leroy wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On 02/10/2015 15:51, François Bobot wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  In your comment in a merge request[1] I understood that the contents<br>
in <a href="http://caml.inria.fr/pub/*" rel="noreferrer" target="_blank">caml.inria.fr/pub/*</a> doesn't go to <a href="http://ocaml.org" rel="noreferrer" target="_blank">ocaml.org</a> in order to keep the job<br>
of Damien the release manager easy. Previously Fabrice and I though the<br>
reason was to keep /pub/ on <a href="http://caml.inria.fr" rel="noreferrer" target="_blank">caml.inria.fr</a> in order to authenticate that<span class=""><br>
a particular tarball is the official INRIA's version, not a fork<br>
modified by the community.<br>
</span></blockquote>
<br>
Yes, Fabrice has a point with the authenticity of the sources.  But<br>
note that this could be ensured by other means, e.g. GPG detached<br>
signatures on releases, like the Linux kernel does.<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Damien, could <a href="mailto:infrastructure@lists.ocaml.org" target="_blank">infrastructure@lists.ocaml.org</a> understand your workflow in<br>
order to mimic it?<br>
</blockquote>
<br>
Well, at some point of Damien's workflow, it boils down to "drop some<br>
files in an NFS-mounted partition so that they are served by<br>
<a href="http://caml.inria.fr/" rel="noreferrer" target="_blank">http://caml.inria.fr/</a>".  Hard to make it any simpler than that<br>
<br>
For those who join the discussion: a problem with <a href="http://caml.inria.fr" rel="noreferrer" target="_blank">caml.inria.fr</a> is<br>
that it will be down for 2-3 days in January as it getes moved<br>
physically from Rocquencourt to the new offices in Paris.  This will<br>
annoy a number of users, esp. since OPAM fetches the OCaml core<br>
sources from <a href="http://caml.inria.fr" rel="noreferrer" target="_blank">caml.inria.fr</a> and nowhere else AFAIK.<br>
<br>
- Xavier<br>
</blockquote>
<br>
</blockquote></div><br></div></div>