diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index 6b8de03644..92497fb586 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -369,6 +369,7 @@ mz-manuals := (scribblings: "main/") ; generates main pages (next line) "honu/") (doc: "*.{html|css|js|sxref}") (doc: "blueboxes.rktd") + (doc: "keep-dirs.rktd") (doc: "docindex.sqlite") (scribblings: "{{info|icons}.rkt|*.png}" "compiled")