diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index b26d393257..c713d574a8 100644 --- 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")