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

[Thien-Thi Nguyen]

() address@hidden (Karl Berry)
() Wed, 9 Apr 2008 12:09:46 -0500

   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.

   +  { /* Ignore the remainder of the @verbatim line.  */
   +    char *junk;
   +    get_rest_of_line (0, &junk);
   +    free (junk);
   +  }
   +  

With makeinfo 4.11.96 i now see one blank line as expected.
Thanks!

thi