Re: why 'verbatim' output for menu comments in HTML?

[Werner LEMBERG]

> I edited the documentation slightly.  It should be covered by the
> sentence, "Menu comment lines and any empty lines are kept in the
> output."

Thanks, this looks good.


    Werner