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