*** 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