Index: doc/autogen.texi
===================================================================
--- doc/autogen.texi.orig	2010-09-08 02:55:50.000000000 +0200
+++ doc/autogen.texi	2010-09-09 12:46:29.602075564 +0200
@@ -1,2 +1,3 @@
 \input texinfo
+@setfilename autogen.info
 @include agdoc.texi