diff --git a/glossary/glossary.txt b/glossary/glossary.txt index 0079e379..4eb5ebf3 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -214,3 +214,4 @@ GNU Make Manual le manuel GNU Make @pxref{Misc Buffer}) @pxref{Tampon Divers}) (@pxref{Mouse References}) (@pxref{Références souris}) @xref{Files} @xref{Fichiers} +(@pxref{Grep Searching}) (@pxref{Recherche Grep})