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