+HADDOCK_ARGS=
+NAMES=
+
+case $* in
+--inplace)
+ GHC_PKG=../utils/ghc-pkg/ghc-pkg-inplace
+ for DIR in */
+ do
+ NAME=`echo "$DIR" | sed 's#/$##'`
+ HADDOCK_FILE=$NAME/dist/doc/html/$NAME/$NAME.haddock
+ if [ -f $HADDOCK_FILE ]
+ then
+ HADDOCK_ARGS="$HADDOCK_ARGS --read-interface=$NAME,$HADDOCK_FILE"
+ NAMES="$NAMES $NAME"
+ fi
+ done
+ ;;
+*)