a748615
diff -u ghc-6.12.3/libraries/gen_contents_index\~ ghc-6.12.3/libraries/gen_contents_index
a748615
--- ghc-6.12.3/libraries/gen_contents_index~	2010-09-14 13:03:12.000000000 +1000
a748615
+++ ghc-6.12.3/libraries/gen_contents_index	2010-11-04 16:41:32.000000000 +1000
a748615
@@ -24,7 +24,7 @@
a748615
 *)
a748615
     HADDOCK=/usr/bin/haddock
a748615
     # We don't want the GHC API to swamp the index
a748615
-    HADDOCK_FILES=`ls -1 */*.haddock | grep -v '/ghc\.haddock' | sort`
a748615
+    HADDOCK_FILES=`ls -1 */*.haddock | grep -v '/ghc\.haddock' | grep -v '/type-level\.haddock' | sort`
a748615
     for HADDOCK_FILE in $HADDOCK_FILES
a748615
     do
a748615
         NAME_VERSION=`echo "$HADDOCK_FILE" | sed 's#/.*##'`