[plt-scheme] PLaneT messing up docs

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
instaservlet.plt.

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