From: Ian Lynagh <igloo@earth.li>
Date: Mon, 20 Sep 2010 20:15:13 +0000 (+0000)
Subject: Tweak gen_contents_index now dph may not be there
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=a22548125be4853556a9d93b66d72199fbf28db8

Tweak gen_contents_index now dph may not be there
---

diff --git a/libraries/gen_contents_index b/libraries/gen_contents_index
index dbeb872..1d83064 100644
--- a/libraries/gen_contents_index
+++ b/libraries/gen_contents_index
@@ -7,9 +7,12 @@ HADDOCK_ARGS=
 case $* in
 --inplace)
     HADDOCK=../inplace/bin/haddock
-    HADDOCK_FILES1=`ls -1     */dist-install/doc/html/*/*.haddock | sort`
-    HADDOCK_FILES2=`ls -1 dph/*/dist-install/doc/html/*/*.haddock | sort`
-    HADDOCK_FILES="$HADDOCK_FILES1 $HADDOCK_FILES2"
+    HADDOCK_FILES=`ls -1     */dist-install/doc/html/*/*.haddock | sort`
+    if [ -d dph ]
+    then
+        DPH_HADDOCK_FILES=`ls -1 dph/*/dist-install/doc/html/*/*.haddock | sort`
+        HADDOCK_FILES="$HADDOCK_FILES $DPH_HADDOCK_FILES"
+    fi
     for HADDOCK_FILE in $HADDOCK_FILES
     do
         LIBPATH=`echo "$HADDOCK_FILE" | sed 's#/dist-install.*##'`