From 3734e0b3c75d8d67cb30fa5aa8103e44b935185c Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Tue, 30 Jan 2024 21:44:28 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 bash/src/base.args.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bash/src/base.args.sh b/bash/src/base.args.sh
index ac44e3c..35e804c 100644
--- a/bash/src/base.args.sh
+++ b/bash/src/base.args.sh
@@ -89,7 +89,7 @@ action
     suivantes sont équivalentes:
     ~~~
     --opt .      --no-opt .
-    --opt opt    --no-opt '$dec@ opt'
+    --opt opt    --no-opt '\$dec@ opt'
     ~~~
   * 'NAME=VALUE' pour une option sans argument, forcer la valeur spécifiée; pour
     une option avec argument, prendre la valeur spécifiée comme valeur par