[plt-dev] Re: hosed doc search

From: Eli Barzilay (eli at barzilay.org)
Date: Tue Sep 1 18:05:01 EDT 2009

On Sep  1, Matthew Flatt wrote:
> You might need to delete a cookie with "PLT_Root" in its name.
> I had to do that once after I installed a Planet package, opened
> docs with `plt-help', and then removed the version-specific
> subdirectory in my ".plt-scheme" directory. Searching got confused
> because the index file had disappeared, and the "PLT_Root" cookie
> points to that index file.

This is not the first time this happened, and I still don't have an
idea how it can be fixed.  Just in case someone has a good idea.

[Moved to plt-dev.]

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.