diff options
Diffstat (limited to 'libraries')
| -rw-r--r-- | libraries/gen_contents_index | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libraries/gen_contents_index b/libraries/gen_contents_index index 27fa3c73df..29be2e13f9 100644 --- a/libraries/gen_contents_index +++ b/libraries/gen_contents_index @@ -33,7 +33,8 @@ then cd dist-haddock HADDOCK=../../inplace/bin/haddock - HADDOCK_FILES=`find ../ -name *.haddock | sort` + # Exclude Cabal package-tests, which may run haddock + HADDOCK_FILES=`find ../ -name *.haddock | grep -v 'PackageTests' | sort` HADDOCK_ARGS="-p ../prologue.txt" for HADDOCK_FILE in $HADDOCK_FILES do |