Build: Remove obsolete `gui' configure option.

diff --git a/configure.in b/configure.in
index a97128e61ba6ce6e7b56e16679e49c956c69e97c..1de5f64453c158f68755997c9bc96d7747bb990b 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -30,12 +30,6 @@ AC_ARG_ENABLE(documentation,
     [DOCUMENTATION=$enableval])
 AC_SUBST(DOCUMENTATION)
 
-gui_b=no
-AC_ARG_ENABLE(gui,
-    [  --enable-gui            compile with experimental GNOME output.  Default: off],
-    [gui_b=$enableval])
-
-
 AC_ARG_WITH(ncsb-dir,
     [  --with-ncsb-dir=DIR     location of Century Schoolbook fonts.],
     [NCSB_DIR=$withval],
@@ -154,10 +148,6 @@ AC_CHECK_FUNCS([chroot fopencookie funopen gettext isinf memmem snprintf vsnprin
 
 STEPMAKE_PROGS(PKG_CONFIG, pkg-config, REQUIRED, 0.9.0)
 
-if test "$gui_b" = "yes"; then
-    STEPMAKE_GTK2(gtk+-2.0, REQUIRED, 2.4.0)
-fi
-
 AC_MSG_CHECKING(whether to enable dynamic relocation)
 if test "$reloc_b" = "yes"; then
     AC_DEFINE(ARGV0_RELOCATION)