From 08d940976f88ac982e5b795c22a844314d559ee1 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 18 Jun 2013 06:31:24 -0400 Subject: [PATCH] [Style] Wire it in. I think that this should work, note that I used (racket-core -99) in the info file for no good reason -- it should probably be properly placed somewhere. --- collects/meta/dist-specs.rkt | 2 +- collects/meta/props | 1 + collects/scribblings/style/info.rkt | 3 +++ 3 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 collects/scribblings/style/info.rkt diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index c28c96bf13..ea704a08ef 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -365,7 +365,7 @@ mz-manuals := (scribblings: "main/") ; generates main pages (next line) "getting-started/") (notes: "COPYING*.txt") (doc: "doc-license.txt") ; needed (when docs are included) - (doc+src: "reference/" "guide/" "quick/" "more/" + (doc+src: "reference/" "guide/" "quick/" "more/" "style/" "foreign/" "inside/" "scheme/" "honu/") diff --git a/collects/meta/props b/collects/meta/props index c6d84baa10..95216e3a52 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -970,6 +970,7 @@ path/s is either such a string or a list of them. "collects/scribblings/raco" responsible (jay mflatt) "collects/scribblings/reference/distributed.scrbl" responsible (tewk) "collects/scribblings/reference/generic.scrbl" responsible (asumu stamourv) +"collects/scribblings/style" responsible (matthias) "collects/scriblib" responsible (mflatt) "collects/setup" responsible (mflatt) "collects/setup/main.rkt" drdr:command-line #f diff --git a/collects/scribblings/style/info.rkt b/collects/scribblings/style/info.rkt new file mode 100644 index 0000000000..0c32e73284 --- /dev/null +++ b/collects/scribblings/style/info.rkt @@ -0,0 +1,3 @@ +#lang setup/infotab + +(define scribblings '(("style.scrbl" (multi-page) (racket-core -99))))