case $* in
--inplace)
- HADDOCK=../utils/haddock/install-inplace/bin/haddock
- HADDOCK_FILES=`ls -1 */dist/doc/html/*/*.haddock | sort`
+ HADDOCK=../inplace/bin/haddock
+ HADDOCK_FILES=`ls -1 */dist-install/doc/html/*/*.haddock | sort`
+ HADDOCK_FILES="$HADDOCK_FILES `ls -1 dph/*/dist-install/doc/html/*/*.haddock | sort`"
;;
*)
HADDOCK=../../../../bin/haddock
for HADDOCK_FILE in $HADDOCK_FILES
do
- NAME=`echo "$HADDOCK_FILE" | sed 's#/.*##'`
+ NAME=` echo "$HADDOCK_FILE" | sed 's#.*/##' | sed 's#\.haddock$##' `
HADDOCK_ARGS="$HADDOCK_ARGS --read-interface=$NAME,$HADDOCK_FILE"
NAMES="$NAMES $NAME"
done