diff --git a/collects/compiler/doc.txt b/collects/compiler/doc.txt index 44d9f3f3c6..eff8a72b46 100644 --- a/collects/compiler/doc.txt +++ b/collects/compiler/doc.txt @@ -403,7 +403,7 @@ _embedr-sig.ss_ library provides the signature, _compiler:embed^_. [#:mred? mred?] [#:variant variant] [#:aux aux] - [#:collects-path path-or-list] + [#:collects-path path-or-list] [#:on-extension ext-proc] [#:launcher? launcher?] [#:verbose? verbose?]