X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=libraries%2Fgen_contents_index;h=1d8306416cfaa13dca1f2906661ea7e6623c4b6e;hb=ec064b6d9d43b1655dd24df06d29b5e43940c7d6;hp=dbeb8727447b1d2712ffec98742acf4ece5199b9;hpb=1281f2800116ca6c9a756d35cf05bcf08114ce66;p=ghc-hetmet.git

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.*##'`