[plt-scheme] PLaneT messing up docs

[Noel Welsh]

On Fri, Aug 1, 2008 at 4:16 AM, Eli Barzilay <eli at barzilay.org> wrote:
> On Jul 31, Robby Findler wrote:

>> I didn't consider that one of the tools that would complain. I mean
>> things where one specifies a directory. Those would all check to see
>> if the directory's name is legal.
>
> IIUC, the only such check is for the `scribbling' entry, which seems
> arbitrary if it's the only one checked.

The planet tool certainly inspects the info.ss file, which specifies
the doc directory, as the planet tool prints out information from that
file.  If it could check for this error as well, it would be an
improvement.  Anything is better than nothing!  We've had broken
packages on planet for months and never realised this was the problem!

N.