Glossary changes by Ismaël

2022-05-03 16:31:15 +02:00 · 2022-05-03 16:31:15 +02:00 · b26787ff51
parent e1734877e9
commit b26787ff51
1 changed files with 1 additions and 0 deletions
--- 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