Ticket #119 (closed defect)

Opened 6 years ago

Last modified 6 years ago

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.

Change History

Changed 6 years ago by untyped

  • status changed from new to closed

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

Note: See TracTickets for help on using tickets.