diff DOCS/xml/de/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 01466cb526ce
children 6a199704d53f
line wrap: on
line diff
--- a/DOCS/xml/de/install.xml	Mon Jun 14 14:35:57 2010 +0000
+++ b/DOCS/xml/de/install.xml	Mon Jun 14 15:17:48 2010 +0000
@@ -198,14 +198,14 @@
 
     <para>
       <emphasis role="bold">Überprüfe immer die Ausgabe von </emphasis>
-      <filename>./configure</filename> und die Datei <filename>configure.log</filename>,
+      <filename>./configure</filename> und die Datei <filename>config.log</filename>,
       sie enthalten Informationen darüber, was eingebaut wird und was nicht.
       Du möchtest dir vielleicht auch die Dateien
       <filename>config.h</filename> und <filename>config.mak</filename> anschauen.
       Wenn du manche Bibliotheken installiert hast, die von
       <filename>./configure</filename> aber nicht erkannt werden, überprüfe auch
       die entsprechenden Header-Dateien (normalerweise die -dev-Pakete) und ob deren
-      Versionen passen. Die Datei <filename>configure.log</filename> gibt
+      Versionen passen. Die Datei <filename>config.log</filename> gibt
       normalerweise Auskunft darüber, was fehlt.
     </para>