[plt-dev] Re: Pre-Release Checklist for v4.2.1

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Tue Jul 21 21:05:06 EDT 2009

At Tue, 21 Jul 2009 14:44:12 -0400, Eli Barzilay wrote:
> One of the recent changes is that setting up a planet package is
> properly reconstructing the user index, and this is somehow done in a
> way that makes it (try to) lock the main/user collection.
> Matthew -- is there some place in the code I can look at to see if
> there's an easy solution?

Planet calls `reindex-user-documentation' from
`setup/lt-single-installer' to rebuild the user-specific table of
contents and search index (i.e., the "scribblings/main/user"

Posted on the dev mailing list.