diff DOCS/xml/fr/bugreports.xml @ 31349:92d75e703bc0

Rename configure.log file to the more standard name config.log.
author diego
date Mon, 14 Jun 2010 15:17:48 +0000
parents c6c16f6bfa16
children c4410ffe82ba
line wrap: on
line diff
--- a/DOCS/xml/fr/bugreports.xml	Mon Jun 14 14:35:57 2010 +0000
+++ b/DOCS/xml/fr/bugreports.xml	Mon Jun 14 15:17:48 2010 +0000
@@ -362,12 +362,12 @@
 
 <para>
 Si vous rencontrez des erreurs pendant l'éxecution de <command>./configure</command>,
-ou si l'auto-détection ou autre chose échoue, lisez <filename>configure.log</filename>.
+ou si l'auto-détection ou autre chose échoue, lisez <filename>config.log</filename>.
 Vous pourriez y trouver la réponse, par exemple des versions multiples
 mélangées de la même librairie dans votre système, ou vous avez oublié
 d'installer les paquets de développement (ceux avec le suffixe -dev).
 Si vous pensez que c'est un bogue, incluez
-<filename>configure.log</filename> dans votre rapport de bogue.
+<filename>config.log</filename> dans votre rapport de bogue.
 </para>
 </sect2>