Index: doc/autogen.texi
===================================================================
--- doc/autogen.texi.orig	2011-03-08 01:36:31.000000000 +0100
+++ doc/autogen.texi	2011-03-09 14:33:06.355135652 +0100
@@ -1,4 +1,5 @@
 \input texinfo
+@setfilename autogen.info
 @ignore
 \internalpagesizes{46\baselineskip}{6in}{-.25in}{-.25in}{\bindingoffset}{36pt}%
 @end ignore