[plt-scheme] PLaneT messing up docs

From: Danny Yoo (dyoo at cs.wpi.edu)
Date: Thu Jul 31 16:42:48 EDT 2008

On Wed, Jul 30, 2008 at 11:36 AM, Noel Welsh <noelwelsh at gmail.com> wrote:
> On Wed, Jul 30, 2008 at 1:09 PM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
>> Don't call the directory "doc", which is the name for generated
>> documentation, just like "compiled" the is the directory name for
>> generated bytecode.
> Thanks, that's solved that problem.

The same issue is hitting other PLaneT packages like instaweb.plt and

Does the planet packager warn if there are directories like 'doc' or
'compiled' in the directory that it is packaging?

Posted on the users mailing list.