You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
24 lines
724 B
24 lines
724 B
diff -u ghc-6.12.3/libraries/gen_contents_index\~ ghc-6.12.3/libraries/gen_contents_index
|
|
--- ghc-6.12.3/libraries/gen_contents_index~ 2010-09-14 13:03:12.000000000 +1000
|
|
+++ ghc-6.12.3/libraries/gen_contents_index 2010-11-04 18:26:00.000000000 +1000
|
|
@@ -21,6 +21,6 @@
|
|
HADDOCK_ARGS="$HADDOCK_ARGS $HADDOCK_ARG"
|
|
done
|
|
;;
|
|
-*)
|
|
+--batch)
|
|
HADDOCK=/usr/bin/haddock
|
|
# We don't want the GHC API to swamp the index
|
|
@@ -32,6 +32,9 @@
|
|
HADDOCK_ARGS="$HADDOCK_ARGS $HADDOCK_ARG"
|
|
done
|
|
;;
|
|
+ *)
|
|
+ HADDOCK=/bin/true
|
|
+ tty -s && echo Run with '--batch' to index package haddock docs.
|
|
esac
|
|
|
|
# Now create the combined contents and index pages
|
|
|
|
Diff finished. Thu Nov 4 18:26:04 2010
|