Re: State of docs

[Werner LEMBERG]

> > @menu
> > - * Slurs::
> > + * Slurs::
> > @end menu
> >
> > ?
> > Is it just the whitespace at the end of the second line??
> 
> Yes, texinfo-all-menus-update adds extraneous whitspace.  That
> should be fixed, but there is little point in removing it all the
> time.

I've reported this to the emacs-devel list a longer time ago, and I
got the answer that it is a feature.


    Werner