summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbubulle@debian.org <>2012-07-04 20:43:09 -0600
committerbubulle@debian.org <>2012-07-04 20:43:09 -0600
commit9deb4b8f0cf6448bb786e698610e917b4b61f8f3 (patch)
treec0ff2764cce1a0fd869db5942ad9c72eb27bbf1c
parent49c5227a61bde37975f82dc9215d5a1931c8db9d (diff)
Good suggestion by Phil Kern
-rw-r--r--doc/po/fr.po2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/po/fr.po b/doc/po/fr.po
index cfdfae513..cc38ea7f8 100644
--- a/doc/po/fr.po
+++ b/doc/po/fr.po
@@ -753,7 +753,7 @@ msgstr ""
"filename>. Ainsi, lorsqu'on utilise une archive Debian, cette commande "
"récupère les fichiers <filename>Packages.gz</filename> et les analyse de "
"manière à rendre disponibles les informations concernant les nouveaux "
-"paquets et les paquets mis à jour. On doit toujours exécuter une commande "
+"paquets et les paquets mis à jour. On devrait toujours exécuter une commande "
"<literal>update</literal> avant les commandes <literal>upgrade</literal> ou "
"<literal>dist-upgrade</literal>. Veuillez noter que l'indicateur de "
"progression d'ensemble peut être imprécis puisque la taille de ces fichiers "