+Index: doc/Makefile.in
+===================================================================
+--- doc/Makefile.in.orig 2007-05-17 14:47:01.000000000 +0200
++++ doc/Makefile.in 2007-05-17 14:58:34.000000000 +0200
+@@ -435,15 +435,16 @@ uninstall-local: