<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>On 4 Jun 2013, at 15:14, Ashish Agarwal <<a href="mailto:agarwal1975@gmail.com">agarwal1975@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">On Tue, Jun 4, 2013 at 4:06 PM, Martin Keegan <span dir="ltr"><<a href="mailto:martin@no.ucant.org" target="_blank">martin@no.ucant.org</a>></span> wrote:<br><div class="gmail_quote"><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
but feels like it's the wrong way round.</blockquote><div><br></div><div>What would the ideal solution be? I don't see how it can be less work than what I've proposed. Are you saying you want avoid compiling the site entirely?</div>
</div></blockquote><br></div><div>If compiling a dev version of the site is really so onerous, we could make it one of the staging tasks in the OCamlot bot to compile and push to a staging site.</div><div><br></div><div>It doesn't seem too hard to just run a one-off OPAM installation though.</div><div><br></div><div>-anil</div><br></body></html>