# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1201381558 0
# Node ID b0c61850537b5522b5954f917b84fa8fa0adbe47
# Parent  db355a8d82483d36cd0d7a3723cc0323af7342c9
*** empty log message ***

diff -r db355a8d8248 -r b0c61850537b ChangeLog
--- a/ChangeLog	Sat Jan 26 21:05:53 2008 +0000
+++ b/ChangeLog	Sat Jan 26 21:05:58 2008 +0000
@@ -1,6 +1,7 @@
 2008-01-26  Glenn Morris  <rgm@gnu.org>
 
 	* configure.in (--without-gcc): By default, neither off nor on.
+	(--with-carbon): Tone down rhetoric in help text.
 
 2008-01-25  Glenn Morris  <rgm@gnu.org>