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