--- configure.orig	2013-04-19 00:47:00.000000000 +0200
+++ configure	2013-06-05 21:52:52.000000000 +0200
@@ -10983,6 +10983,8 @@
     BUILD_DOCBOOK_PS=YES
     BUILD_DOCBOOK_PDF=YES
 fi
+BUILD_DOCBOOK_PS=NO
+BUILD_DOCBOOK_PDF=NO