<br><br><div class="gmail_quote">On Tue, Aug 24, 2010 at 16:46, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
I've just pushed a change to drracket so that it now will compile<br>
files in the collection paths, but not in the main collection path<br>
where the distribution is (as that is the one where thigns should be<br>
compiled already and also the one where you might not have write<br>
access). It also still avoids compiling in the planet cache (but still<br>
compiles in devel links).<br>
<br>
Do let me know if you (or anyone!) run into any problems wrt compilation.<br></blockquote><div><br><br></div></div>Thanks Robby ; however as was proposed in another thread<br>I am now using PLaneT dev links (which is much better for what I'm doing),<br>
and I'm not sure I will come back to collections soon.<br><br>Laurent<br>