fix some dist-spec problems
This commit is contained in:
parent
0a881a6305
commit
3db293a6af
|
@ -327,13 +327,13 @@ plt := (+ dr plt-extras)
|
||||||
;; Packages etc
|
;; Packages etc
|
||||||
|
|
||||||
mz-base := "/plt/readme.txt" ; generated
|
mz-base := "/plt/readme.txt" ; generated
|
||||||
(package: "mzscheme") (notes: "racket")
|
(package: "mzscheme") (package: "racket")
|
||||||
"/plt/include/"
|
"/plt/include/"
|
||||||
;; configuration stuff
|
;; configuration stuff
|
||||||
(cond (not src) => (collects: "info-domain/")) ; filtered
|
(cond (not src) => (collects: "info-domain/")) ; filtered
|
||||||
(package: "config")
|
(package: "config")
|
||||||
;; basic code
|
;; basic code
|
||||||
(collects: "scheme" "s-exp" "reader" "racket")
|
(collects: "scheme" "s-exp" "reader")
|
||||||
;; include the time-stamp collection when not a public release
|
;; include the time-stamp collection when not a public release
|
||||||
(cond (not release)
|
(cond (not release)
|
||||||
=> (- (collects: "repos-time-stamp/")
|
=> (- (collects: "repos-time-stamp/")
|
||||||
|
@ -350,7 +350,9 @@ mz-manuals := (scribblings: "main/") ; generates main pages (next line)
|
||||||
(doc: "*.{html|css|js|sxref}")
|
(doc: "*.{html|css|js|sxref}")
|
||||||
(scribblings: "{{info|icons}.rkt|*.png}" "compiled")
|
(scribblings: "{{info|icons}.rkt|*.png}" "compiled")
|
||||||
|
|
||||||
mr-base := (package: "mred") (notes: "gracket") (bin: "mred-text") (collects: "afm/")
|
mr-base := (package: "mred") (package: "gracket")
|
||||||
|
(bin: "mred-text") (bin: "gracket-text")
|
||||||
|
(collects: "afm/")
|
||||||
mr-manuals := (doc+src: "gui/")
|
mr-manuals := (doc+src: "gui/")
|
||||||
|
|
||||||
dr-base := (package: "drracket") (package: "drscheme") (package: "framework")
|
dr-base := (package: "drracket") (package: "drscheme") (package: "framework")
|
||||||
|
|
Loading…
Reference in New Issue
Block a user