path since we removed html/ from libraries pathepel9
parent
feffa93079
commit
bedcaee130
@ -0,0 +1,12 @@
|
||||
diff -u ghc-6.12.1/libraries/gen_contents_index\~ ghc-6.12.1/libraries/gen_contents_index
|
||||
--- ghc-6.12.1/libraries/gen_contents_index~ 2009-12-11 04:11:33.000000000 +1000
|
||||
+++ ghc-6.12.1/libraries/gen_contents_index 2009-12-12 21:08:02.000000000 +1000
|
||||
@@ -20,7 +20,7 @@
|
||||
done
|
||||
;;
|
||||
*)
|
||||
- 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`
|
||||
for HADDOCK_FILE in $HADDOCK_FILES
|
Loading…
Reference in new issue