1 2 3 4 5 6 7 8 9 10 11 12 13
*** 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