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