autogen/autogen-setfilename.patch

11 lines
373 B
Diff

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