You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
12 lines
462 B
12 lines
462 B
5 years ago
|
--- ghc-8.6.5/libraries/gen_contents_index~ 2020-02-24 15:02:26.318866694 +0800
|
||
|
+++ ghc-8.6.5/libraries/gen_contents_index 2020-04-09 18:18:40.290722327 +0800
|
||
|
@@ -47,6 +47,8 @@
|
||
|
HADDOCK_ARGS="$HADDOCK_ARGS $HADDOCK_ARG"
|
||
|
done
|
||
|
else
|
||
|
+ if ! ls */*.haddock &>/dev/null; then exit 0; fi
|
||
|
+
|
||
|
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`
|