diff options
Diffstat (limited to 'ghc-gen_contents_index-haddock-path.patch')
| -rw-r--r-- | ghc-gen_contents_index-haddock-path.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/ghc-gen_contents_index-haddock-path.patch b/ghc-gen_contents_index-haddock-path.patch new file mode 100644 index 0000000..699effd --- /dev/null +++ b/ghc-gen_contents_index-haddock-path.patch @@ -0,0 +1,13 @@ +Index: ghc-9.4.4/libraries/gen_contents_index +=================================================================== +--- ghc-9.4.4.orig/libraries/gen_contents_index ++++ ghc-9.4.4/libraries/gen_contents_index +@@ -58,7 +58,7 @@ then + HADDOCK_ARGS="$HADDOCK_ARGS $HADDOCK_ARG" + 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" |