summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--DOCS/man/fr/mplayer.14
1 files changed, 2 insertions, 2 deletions
diff --git a/DOCS/man/fr/mplayer.1 b/DOCS/man/fr/mplayer.1
index 7915a99b70..e5db0d203e 100644
--- a/DOCS/man/fr/mplayer.1
+++ b/DOCS/man/fr/mplayer.1
@@ -1,4 +1,4 @@
-.\" synced with r25389
+.\" synced with r25440
.\" Encoding: iso-8859-1
.\" MPlayer (C) 2000-2007 MPlayer Team
.\" The English man page was/is done by Gabucino, Diego Biurrun, Jonas Jermann
@@ -1048,7 +1048,7 @@ Les expansions suivantes sont gérées:
.RSs
.IPs ${NAME}
Expand la valeur de la propriété NAME.
-.IPs $(NAME:TEXT)
+.IPs ?(NAME:TEXT)
Expand TEXT uniquement si la propriété NAME est disponible.
.RE
.