# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1202284653 0
# Node ID 2d1d8d12ee668a72c399f14b413ef6315f197851
# Parent  4a3d0b905c9e935ed75aae4947ebb1b015e9435c
*** empty log message ***

diff -r 4a3d0b905c9e -r 2d1d8d12ee66 ChangeLog
--- a/ChangeLog	Wed Feb 06 07:57:24 2008 +0000
+++ b/ChangeLog	Wed Feb 06 07:57:33 2008 +0000
@@ -1,3 +1,9 @@
+2008-02-06  Glenn Morris  <rgm@gnu.org>
+
+	* configure.in (--with-gcc): Give an error saying this option has
+	been removed.
+	(--with-gtk): Remove this option.
+
 2008-02-06  Tom Tromey  <tromey@redhat.com>
 
 	* configure.in (--with-gcc): Remove.