From a39004241e765072bd55eb27d583ae4e456782da Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 27 Dec 2012 13:56:02 -0600 Subject: [PATCH] fix dist spec --- collects/meta/dist-specs.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index 747998efde..454b26d71b 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -570,7 +570,8 @@ mr-extras :+= (package: "sgl/") mz-extras :+= (package: "syntax-color") (doc: "red-black") ;; -------------------- plt-help -dr-extras :+= (collects: "help") (bin: "Racket Documentation") +dr-extras :+= (collects: "help") (doc: "help") + (bin: "Racket Documentation") (bin: "plt-help") (man: "plt-help") ;; -------------------- lang