diff --git a/glossary/glossary.txt b/glossary/glossary.txt index 0ad3d9c..58944f0 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -199,3 +199,4 @@ flag statut Pour le différencier de "mark" (marque) @var{string} @var{chaîne} @dfn{image tags} @dfn{balises d'image} fancy élégant +@xref{Repeat Isearch} @xref{Répétitions avec Isearch}