Tree - rpms/ghc - CentOS Git server

Blob History Raw

		a43873	`--- ghc-7.6.3/libraries/gen_contents_index~ 2013-04-19 06:22:46.000000000 +0900`
		a43873	`+++ ghc-7.6.3/libraries/gen_contents_index 2013-04-22 12:07:48.922152864 +0900`
		a43873	`@@ -60,6 +60,6 @@`
		a43873	`done`
		a43873	`else`
		a43873	`- HADDOCK=../../../../../bin/haddock`
		a43873	`+ HADDOCK=/usr/bin/haddock`
		a43873	`# We don't want the GHC API to swamp the index`
		a43873	HADDOCK_FILES=`ls -1 /.haddock \| grep -v '/ghc\.haddock' \| sort`
		a43873	`HADDOCK_ARGS="-p prologue.txt"`