From 887485a45ae55e81b26b6412b6f9dcf6a497f044 Mon Sep 17 00:00:00 2001
From: "Edward Z. Yang" <ezyang@cs.stanford.edu>
Date: Thu, 6 Oct 2016 16:20:24 -0700
Subject: [PATCH] Exclude Cabal PackageTests from gen_contents_index.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
---
libraries/gen_contents_index | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/libraries/gen_contents_index b/libraries/gen_contents_index
index 27fa3c73dff..29be2e13f9f 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
--
GitLab