dist-spec repairs
This commit is contained in:
parent
58d0b14822
commit
20b8b8c5ab
|
@ -353,8 +353,7 @@ mz-manuals := (scribblings: "main/") ; generates main pages (next line)
|
||||||
|
|
||||||
mr-base := (package: "gracket") (bin: "gracket-text")
|
mr-base := (package: "gracket") (bin: "gracket-text")
|
||||||
(package: "mred") (bin: "mred-text")
|
(package: "mred") (bin: "mred-text")
|
||||||
(collects: "afm/")
|
mr-manuals := (doc+src: "gui/") (doc+src: "draw/")
|
||||||
mr-manuals := (doc+src: "gui/")
|
|
||||||
|
|
||||||
dr-base := (package: "drracket") (package: "drscheme") (package: "framework")
|
dr-base := (package: "drracket") (package: "drscheme") (package: "framework")
|
||||||
dr-manuals := (doc+src: "tools/")
|
dr-manuals := (doc+src: "tools/")
|
||||||
|
@ -543,7 +542,7 @@ platform-dependent :+= (and (collects: "sgl/")
|
||||||
(srcfile: "sgl/gl-info"))
|
(srcfile: "sgl/gl-info"))
|
||||||
|
|
||||||
;; -------------------- syntax-color
|
;; -------------------- syntax-color
|
||||||
dr-extras :+= (package: "syntax-color")
|
mz-extras :+= (package: "syntax-color")
|
||||||
|
|
||||||
;; -------------------- plt-help
|
;; -------------------- plt-help
|
||||||
dr-extras :+= (collects: "help") (bin: "Racket Documentation")
|
dr-extras :+= (collects: "help") (bin: "Racket Documentation")
|
||||||
|
|
Loading…
Reference in New Issue
Block a user