Missing Scribble Sources

[murphy]

Version (1 3) of the mirrors.plt package doesn't contain the Scribble sources for its documentation. Therefore planet / setup-plt reports an error when installing the package (default-load-handler: cannot open input file: "[...]/planet/300/4.1.2/cache/untyped/mirrors.plt/1/3/doc/mirrors.scrbl" (No such file or directory; errno=2)) and the main documentation page of PLT Scheme contains an error marker for the package afterwards.

[untyped]

I'd put the Scribble sources in a directory called "doc", which is a reserved directory name in PLaneT terms. Fixed in (1 4) by moving them to a directory called "scribblings".

Thanks for the feedback,

-- Dave