From a22548125be4853556a9d93b66d72199fbf28db8 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Mon, 20 Sep 2010 20:15:13 +0000
Subject: [PATCH] Tweak gen_contents_index now dph may not be there
---
libraries/gen_contents_index | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
diff --git a/libraries/gen_contents_index b/libraries/gen_contents_index
index dbeb8727447..1d8306416cf 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.*##'`
--
GitLab