Re: makeinfo 4.8 creates blank line in menus

[Karl Berry]

    makeinfo 4.8 creates a blank line in menus when ifnottex is used, e.g,
    if a texinfo file with:

Thanks for the report.  I'll try to fix it.

karl