Re: [help-texinfo] two blank lines instead of one

[Karl Berry]

    Is there any way to get only one blank line between "b1" and "v1"?

I installed the following change, which ignores the remainder of the
@verbatim line (including the newline), as it should have been all
along.  I hope there are no ill effects.

Thanks for the report.

karl

--- insertion.c.~1.69.~ 2008-04-09 09:10:45.000000000 -0700
+++ insertion.c 2008-04-09 09:33:17.000000000 -0700
@@ -1681,2 +1681,8 @@ handle_verbatim_environment (int find_en
 
+  { /* Ignore the remainder of the @verbatim line.  */
+    char *junk;
+    get_rest_of_line (0, &junk);
+    free (junk);
+  }
+  
   while (input_text_offset < input_text_length)