From 04b53a4dd943b93ac0fe1c03b5189cef4b0891c9 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Fri, 5 Nov 2010 21:14:26 +1000 Subject: [PATCH] simplify ghc-gen_contents_index-cron-batch.patch case context --- ghc-gen_contents_index-cron-batch.patch | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/ghc-gen_contents_index-cron-batch.patch b/ghc-gen_contents_index-cron-batch.patch index fdade1a..9e30974 100644 --- a/ghc-gen_contents_index-cron-batch.patch +++ b/ghc-gen_contents_index-cron-batch.patch @@ -1,15 +1,13 @@ diff -u ghc-6.12.3/libraries/gen_contents_index gen_contents_index --- ghc-6.12.3/libraries/gen_contents_index 2010-11-05 10:28:02.000000000 +1000 +++ gen_contents_index 2010-11-05 10:20:37.000000000 +1000 -@@ -21,7 +21,7 @@ - HADDOCK_ARGS="$HADDOCK_ARGS $HADDOCK_ARG" +@@ -22,5 +22,5 @@ done ;; -*) +--batch) HADDOCK=/usr/bin/haddock # We don't want the GHC API to swamp the index - HADDOCK_FILES=`ls -1 */*.haddock | grep -v '/ghc\.haddock' | grep -v '/type-level\.haddock' | sort` @@ -32,6 +32,9 @@ HADDOCK_ARGS="$HADDOCK_ARGS $HADDOCK_ARG" done