diff --git a/glossary/glossary.txt b/glossary/glossary.txt index 3432377..3b4b1b0 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -247,3 +247,6 @@ hunk hunk S'apparente au chunk : fragment de texte breakpoint point d'arrêt {Compilation Mode} {Mode « Compilation »} Compilation mode mode « Compilation » +@var{function} @var{fonction} +@var{cmdstring} @var{chaîne de commande} +@var{docstring} @var{chaîne de documentation}