- 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