Tree - rpms/ghc - src.fedoraproject.org

Blob History Raw

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