[plt-scheme] Installing Planet packages: documentation not merged with PLT docs?

From: Neil Van Dyke (neil at neilvandyke.org)
Date: Sat Aug 8 15:22:44 EDT 2009

> On Sat, Aug 8, 2009 at 2:54 PM, Elena Garrulo<egarrulo at gmail.com> wrote:
>> after installing a few Planet packages, I was surprised by the fact
>> that their generated documentation is not merged with main PLT docs,
>> and I have to dig into .planet directory. Am I missing something or
>> that's the way things are designed to work?

By the way, it seems that, after your first PLaneT package is installed, 
DrScheme starts sending you to the documentation in your "~/.planet" 
directory, rather than to the one in the DrScheme install tree.

For example, initially DrScheme's "Help Desk" menu item sends me to:


But later to:


If I bookmarked the first one in my Web browser, and thereafter use my 
bookmark rather than DrScheme to get to the PLT documentation, I'll 
never see the documentation for installed PLaneT packages.


Posted on the users mailing list.