That fixed it, thanks Matthew! Carl Eastlund
On Thu, Jul 25, 2013 at 11:54 AM, Matthew Flatt <mfl...@cs.utah.edu> wrote: > When you visit the main user-specific documentation page, then a cookie > is installed to remember that page as your user-specific page (which > would include user-scoped packages). The search box uses that cookie > (on pages that are in the installation) to jump back to user-specific > documentation for a search. So, it sounds like the cookie is giving you > trouble. > > At Thu, 25 Jul 2013 02:46:05 -0400, Carl Eastlund wrote: > > I have multiple PLT trees on my machine, and right now the one in > > /Users/cce/git/racket/generics seems to want to use the Scribble search > > page from the one in /Users/cce/git/racket/plt. Except, once this > problem > > came up, I deleted both of them, and rebuilt the one in generics from > > scratch. It still wants to use the search page from the other, now > > nonexistent, tree. Anyone know what might be going wrong? I'm going > > insane here trying to figure out what lingering reference there might be > to > > the now-removed tree. > > > > Carl Eastlund > > _________________________ > > Racket Developers list: > > http://lists.racket-lang.org/dev > >
_________________________ Racket Developers list: http://lists.racket-lang.org/dev