Index: doc/Makefile.in
--- doc/Makefile.in.orig	2006-09-24 16:41:16 +0200
+++ doc/Makefile.in	2006-12-10 16:26:17 +0100
@@ -212,7 +212,7 @@
 docdir = @docdir@
 dvidir = @dvidir@
 exec_prefix = @exec_prefix@
-gengetoptdocdir = @gengetoptdocdir@
+gengetoptdocdir = @docdir@
 gengetoptexamplesdir = @gengetoptexamplesdir@
 host = @host@
 host_alias = @host_alias@