Context Navigation

Ticket #119
(closed defect)

Missing Scribble Sources

Reported by:

murphy

Owned by:

untyped

Priority:

major

Milestone:

Component:

untyped/mirrors.plt

Keywords:

Cc:

Version:

(1 3)

Racket Version:

4.1.2

Description

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.