for HADDOCK_FILE in $HADDOCK_FILES
do
LIBPATH=`echo "$HADDOCK_FILE" | sed 's#/dist-install.*##'`
NAME=`echo "$HADDOCK_FILE" | sed 's#.*/##' | sed 's#\.haddock$##'`
# It's easier to portably remove tabs with tr than to try to get
# sed to do what we want
for HADDOCK_FILE in $HADDOCK_FILES
do
LIBPATH=`echo "$HADDOCK_FILE" | sed 's#/dist-install.*##'`
NAME=`echo "$HADDOCK_FILE" | sed 's#.*/##' | sed 's#\.haddock$##'`
# It's easier to portably remove tabs with tr than to try to get
# sed to do what we want