> Quite the difference, no? > Maybe this could be generalized (what's special about /dev?). "make install" does not need to analyze all the paths on the system (per file!)...