Updated

distr/mkf

@@ -6,9 +6,12 @@ elif grep LIST $DESTDIR/$1/.distr >/dev/null 2>&1 &&
      ${DA-false} "$1" "$2"
 then
 :	Fetched library contents one by one and put them together
+elif ( cd $DESTDIR/$1 ; make distr ) > /dev/null 2>&1
+then
+	echo ++ $1/$2 made 1>&2
 elif ( cd $DESTDIR/$1 ; make $2 ) > /dev/null 2>&1
 then
-	echo ++ $1/$2 made
+	echo ++ $1/$2 made 1>&2
 else
-	echo ++ $1/$2 not present
+	echo ++ $1/$2 not present 1>&2
 fi