diff options
| author | Ian Lynagh <igloo@earth.li> | 2010-09-20 20:15:13 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2010-09-20 20:15:13 +0000 |
| commit | a22548125be4853556a9d93b66d72199fbf28db8 (patch) | |
| tree | 77af9a2ac805fecfd030e95b4e44816eedea78ba /libraries/gen_contents_index | |
| parent | 295e7569c4793d210afbd05b42c81571b170baa9 (diff) | |
| download | haskell-a22548125be4853556a9d93b66d72199fbf28db8.tar.gz | |
Tweak gen_contents_index now dph may not be there
Diffstat (limited to 'libraries/gen_contents_index')
| -rw-r--r-- | libraries/gen_contents_index | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/libraries/gen_contents_index b/libraries/gen_contents_index index dbeb872744..1d8306416c 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.*##'` |