ddea701
diff -u ghc-6.12.3/libraries/gen_contents_index gen_contents_index
ddea701
--- ghc-6.12.3/libraries/gen_contents_index	2010-11-05 10:28:02.000000000 +1000
ddea701
+++ gen_contents_index	2010-11-05 10:20:37.000000000 +1000
086548f
@@ -22,5 +22,5 @@
e89f5f0
     done
e89f5f0
     ;;
e89f5f0
-*)
e89f5f0
+--batch)
e89f5f0
     HADDOCK=/usr/bin/haddock
e89f5f0
     # We don't want the GHC API to swamp the index
e89f5f0
@@ -32,6 +32,9 @@
e89f5f0
         HADDOCK_ARGS="$HADDOCK_ARGS $HADDOCK_ARG"
e89f5f0
     done
e89f5f0
     ;;
ddea701
+*)
e89f5f0
+    HADDOCK=/bin/true
e89f5f0
+    tty -s && echo Run with '--batch' to index package haddock docs.
e89f5f0
 esac
e89f5f0
 
e89f5f0
 # Now create the combined contents and index pages