Introduce en la Terminal man make o info make. Pero antes instálalo, creo que yo lo instalé así: sudo apt-get install make.

Responder a