<div dir="ltr">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&#39;m going insane here trying to figure out what lingering reference there might be to the now-removed tree.<br>

<div><br clear="all"><div>Carl Eastlund</div>
</div></div>