diff options
Diffstat (limited to 'DOCS/xml/fr/ports.xml')
-rw-r--r-- | DOCS/xml/fr/ports.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/DOCS/xml/fr/ports.xml b/DOCS/xml/fr/ports.xml index 6ba0104d18..66c34f98e6 100644 --- a/DOCS/xml/fr/ports.xml +++ b/DOCS/xml/fr/ports.xml @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="iso-8859-1"?> -<!-- synced with 1.23 --> +<!-- synced with 1.24 --> <chapter id="ports" xreflabel="Ports"> <title>Ports</title> @@ -222,7 +222,7 @@ pour la conversion de palette dans les pilotes de sortie vidéo. <para> Vous pouvez soit essayer d'installer le programme d'installation GNU, et (si vous ne l'avez pas mis dans votre chemin par défaut) précisez ensuite l'endroit où il est: -<screen>./configure --install-path=PATH</screen> +<screen>./configure --with-install=/chemin/et/nom/de/l'installation</screen> </para> <para> |