fixup for docindex.sqlite

2012-11-21 06:48:50 -07:00 · 2012-11-21 06:48:50 -07:00 · a64a54abee
commit a64a54abee
parent 20bdbb6d9b
1 changed files with 1 additions and 0 deletions
--- 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: "docindex.sqlite")
              (scribblings: "{{info|icons}.rkt|*.png}" "compiled")

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