From c1d9b0716e8a2870d390e2aaa02824953410b2bc Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 11 Apr 2013 10:11:45 -0600 Subject: [PATCH] dist-spec fix for `raco setup' extra file --- collects/meta/dist-specs.rkt | 1 + 1 file changed, 1 insertion(+) 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")