make

Make est l'incontournable outil pour compiler des programmes, mais aussi les documents LaTeX ou autres ! Celui-ci est Gnu make (ou gmake), donc a plein d'extensions aussi (in ?) utiles les unes que les autres...

installé par le CRI