Fix "make doc" compile

diff --git a/Documentation/po/fr.po b/Documentation/po/fr.po
index e43c16738dc99771f9449c553d666d74f810d20b..73795cfe1552006721910c7b9f195973b9680432 100644 (file)
--- a/Documentation/po/fr.po
+++ b/Documentation/po/fr.po
@@ -9431,7 +9431,7 @@ msgstr "Vue d'ensemble de la modification des propriétés"
 #. @node in Documentation/es/user/changing-defaults.itely
 #. @node in Documentation/de/user/changing-defaults.itely
 msgid "The set command"
-msgstr "La commande de fixation (@code{set})"
+msgstr "La commande de fixation (set)"
 
 #. @subsection in Documentation/user/changing-defaults.itely
 #. @subsection in Documentation/fr/user/changing-defaults.itely