[PATCH] @verbatiminclude doesn't work for dvi,ps,pdf

[Sergey Poznyakoff]

I'm sorry, my previous patch, while fixing the bug, introduces a 
memory leak. Improved patch is attached.

Regards,
Sergey

Index: makeinfo/cmds.c
===================================================================
RCS file: /cvsroot/texinfo/texinfo/makeinfo/cmds.c,v
retrieving revision 1.61
diff -p -u -r1.61 cmds.c
--- makeinfo/cmds.c     1 Aug 2005 22:49:37 -0000       1.61
+++ makeinfo/cmds.c     17 Sep 2005 20:08:37 -0000
@@ -1685,15 +1685,21 @@ handle_include (int verbatim_include)
   if (!insertion_stack)
     close_paragraph ();  /* No blank lines etc. if not at outer level.  */
     
+  if (macro_expansion_output_stream && verbatim_include)
+    {
+      me_append_before_this_command ();
+      return;
+    }
+    
   get_rest_of_line (0, &arg);
   /* We really only want to expand @value, but it's easier to just do
      everything.  TeX will only work with @value.  */
   filename = text_expansion (arg);
   free (arg);
-
+  
   if (macro_expansion_output_stream && !executing_string)
     remember_itext (input_text, input_text_offset);
-
+  
   pushfile ();
 
   /* In verbose mode we print info about including another file. */