From 8ea8ae6950ff354f9eebc2e0aeef9808ee239a12 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Isma=C3=ABl?= Date: Wed, 4 May 2022 16:59:20 +0200 Subject: [PATCH] =?UTF-8?q?Glossary=20changes=20by=20Isma=C3=ABl?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- glossary/glossary.txt | 1 + 1 file changed, 1 insertion(+) 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})