---
 doc/autogen.texi |    1 +
 1 file changed, 1 insertion(+)

Index: doc/autogen.texi
===================================================================
--- doc/autogen.texi.orig	2012-08-11 18:42:47.000000000 +0200
+++ doc/autogen.texi	2013-04-16 11:20:14.285193571 +0200
@@ -1,4 +1,5 @@
 \input texinfo
+@setfilename autogen.info
 @ignore
 \internalpagesizes{46\baselineskip}{6in}{-.25in}{-.25in}{\bindingoffset}{36pt}%
 @end ignore