if [ -f $DESTDIR/$1/$2 ]
then
	:
elif grep LIST $DESTDIR/$1/.distr >/dev/null 2>&1 &&
     (test "$2" = "`head -1 $DESTDIR/$1/LIST`") >/dev/null 2>&1 &&
     ${DA-false} "$1" "$2"
then
:	Fetched library contents one by one and put them together
elif ( cd $DESTDIR/$1 ; make $2 ) > /dev/null 2>&1
then
	echo ++ $1/$2 made
else
	echo ++ $1/$2 not present
fi
