« Make » : différence entre les versions
Aller à la navigation
Aller à la recherche
(Page créée avec « = Make = La définition de GNU.org donne: {{Blockquote |text=GNU Make is a tool which controls the generation of executables and other non-source files of a program from the program's source files. }} ») |
Aucun résumé des modifications |
||
| Ligne 2 : | Ligne 2 : | ||
La définition de GNU.org donne: | La définition de GNU.org donne: | ||
{{Blockquote | {{Blockquote | ||
|text=GNU Make is a tool which controls the generation of executables and other non-source files of a program from the program's source files. | |text=GNU Make is a tool which controls the generation of executables and other non-source files of a program from the program's source files. | ||
}} | }} | ||