$ whatis make

make - GNU make utility to maintain groups of programs

Please click on " man make " to see the Manual Page for this command.

Please click on " make in PDF " format.