include root "contract-blueboxes.rktd" in distributions

2012-08-14 09:34:51 -06:00 · 2012-08-14 09:34:51 -06:00 · cbd5fe910d
commit cbd5fe910d
parent e9f522ba94
1 changed files with 1 additions and 0 deletions
--- a/collects/meta/dist-specs.rkt
+++ b/collects/meta/dist-specs.rkt
@ -368,6 +368,7 @@ mz-manuals := (scribblings: "main/") ; generates main pages (next line)
                        "scheme/"
                        "honu/")
              (doc: "*.{html|css|js|sxref}")
+              (doc: "contract-blueboxes.rktd")
              (scribblings: "{{info|icons}.rkt|*.png}" "compiled")

 mr-base := (package: "gracket") (bin: "gracket-text")