diff DOCS/xml/it/install.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 0f1b5b68af32
children 6a199704d53f
line wrap: on
line diff
--- a/DOCS/xml/it/install.xml	Mon Jun 14 14:35:57 2010 +0000
+++ b/DOCS/xml/it/install.xml	Mon Jun 14 15:17:48 2010 +0000
@@ -159,13 +159,13 @@
 <para>
 <emphasis role="bold">Controlla sempre l'output di</emphasis>
 <filename>./configure</filename> e il file
-<filename>configure.log</filename>, essi contengono informazioni su cosa
+<filename>config.log</filename>, essi contengono informazioni su cosa
 sarĂ  compilato e cosa no. Puoi anche voler guardare i file
 <filename>config.h</filename> e <filename>config.mak</filename>.
 Se hai alcune librerie installate, ma non rilevate da
 <filename>./configure</filename>, allora controlla di avere anche i file
 header corretti (di solito i pacchetti -dev ) e di versioni corrispondenti.
-Il file <filename>configure.log</filename> solitamente ti dice cosa manca.
+Il file <filename>config.log</filename> solitamente ti dice cosa manca.
 </para>
 
 <para>