From a64a54abeec1fed27b22ae563b48e63dc72cc775 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 21 Nov 2012 06:48:50 -0700
Subject: [PATCH] fixup for docindex.sqlite

---
 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 d0278fbbd1..4861c390aa 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: "docindex.sqlite")
               (scribblings: "{{info|icons}.rkt|*.png}" "compiled")
 
 mr-base := (package: "gracket") (bin: "gracket-text")