Pretty Make macht Make schöner. Das heißt, dass es den Output von make färbt, verwandte Dinge in Gruppen anzeigt und uninteressante Sachen ganz weglässt. Danach kann man mit dem Output wohl wirklich mehr anfangen als normal. (hch)