diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index 10ce67e225..afd642754e 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -545,7 +545,8 @@ platform-dependent :+= (and (collects: "sgl/") dr-extras :+= (package: "syntax-color") ;; -------------------- plt-help -dr-extras :+= (package: "plt-help" #:collection "help") +dr-extras :+= (collects: "help") (bin: "Racket Documentation") + (bin: "plt-help") (man: "plt-help") ;; -------------------- lang plt-extras :+= (package: "lang/" #:docs "htdp-langs/")