Tree - rpms/ghc - src.fedoraproject.org

Blob History Raw

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