From 0c6730df8df6c7b0254a8a61f8af131fe0fa147f Mon Sep 17 00:00:00 2001 From: Lilian Date: Fri, 18 Mar 2022 12:11:21 +0100 Subject: [PATCH] Glossary changes by Lilian --- glossary/glossary.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/glossary/glossary.txt b/glossary/glossary.txt index 2db1bea..c20b207 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -58,3 +58,4 @@ offer proposer Dans certains contextes. @dfn{directory-local variables} @dfn{variables locales de répertoire} @xref{Examining} @xref{Examiner} @xref{Specific Customization} @xref{Personnalisation spécifique} +@pxref{File Variables} @pxref{Variables de fichier}