diff README @ 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 db90719da3bf
children c9f9a077d760
line wrap: on
line diff
--- a/README	Mon Jun 14 14:35:57 2010 +0000
+++ b/README	Mon Jun 14 15:17:48 2010 +0000
@@ -105,7 +105,7 @@
 
 The configure script prints a summary of enabled and disabled options. If you
 have something installed that configure fails to detect, check the file
-configure.log for errors and reasons for the failure. Repeat this step until
+config.log for errors and reasons for the failure. Repeat this step until
 you are satisfied with the enabled feature set.