*** configure.orig 2008-06-19 01:04:37.000000000 +0200 --- configure 2008-06-19 01:05:22.000000000 +0200 *************** *** 2970,2975 **** --- 2970,2977 ---- else ENABLE_SK_TRUE="#" ENABLE_SK_FALSE="" + HAVE_GNOME_DOC_UTILS_TRUE='#' + HAVE_GNOME_DOC_UTILS_FALSE= fi