Re: [racket-dev] [plt] Push #23788: master branch updated

2011-10-28 Thread Robby Findler
Yep! On Fri, Oct 28, 2011 at 1:41 AM, John Clements wrote: > > On Oct 27, 2011, at 4:51 PM, ro...@racket-lang.org wrote: > >> robby has updated `master' from 91866f58c7 to dc24fbf62d. >>  http://git.racket-lang.org/plt/91866f58c7..dc24fbf62d > > > Those were open-source? > > MOST, MOST, AWESOME>>

[racket-dev] raco setup & documentation indexing change?

2011-10-28 Thread Robby Findler
I believe it used to be the case that I could run "raco setup" and rely on the user-specific search html file being updated to whatever version of the documentation that the 'raco' came from. This does not seem to be the case anymore (I've noticed it for a few days, but I'm not sure when/if this ch

Re: [racket-dev] raco setup & documentation indexing change?

2011-10-28 Thread Matthew Flatt
`raco docs' sets the browser cookie to point to a user-specific documentation page, not `raco setup'. At Fri, 28 Oct 2011 14:43:13 -0500, Robby Findler wrote: > I believe it used to be the case that I could run "raco setup" and > rely on the user-specific search html file being updated to whatever

Re: [racket-dev] raco setup & documentation indexing change?

2011-10-28 Thread Robby Findler
I was seeing that searches that were performed by typing in the browser when viewing the file: file:///Users/robby/Library/Racket/5.2.0.1/doc/search/index.html contained links in some strange place (a temporary racket tree I'd made to test something at some earlier point in time). I deleted th