diff --git a/glossary/glossary.txt b/glossary/glossary.txt index e407486..4a20f44 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -210,3 +210,4 @@ Skip Prefers mode mode « ignorer les préférences » Pour un mode spécifiqu Fast mode mode « rapide » Edit mode mode « modifications » @pxref{Misc File Ops} @pxref{Opérations sur fichiers, divers} +GNU Make Manual le manuel GNU Make