bug#31713: 26.1.50; Docstring for 'empty' whitespace-style is clearer than manual

[Eli Zaretskii]

> From: "Basil L. Contovounesios" <contovob@tcd.ie>
> Date: Mon, 04 Jun 2018 18:06:01 +0100
> 
> tags 31713 patch
> quit
> 
> > The 'empty' whitespace-style option is described under
> > "(emacs) Useless Whitespace" as follows:
> >
> >   ‘empty’
> >        Highlight empty lines.
> >
> > The docstring of whitespace-style, on the other hand, is a bit clearer
> > w.r.t. which lines are considered empty:
> >
> >   empty                empty lines at beginning and/or end of buffer
> >                        are visualized via faces.
> >                        It has effect only if `face' (see above)
> >                        is present in `whitespace-style'.
> >
> > I think the manual should also mention the BOB/EOB restriction.
> 
> I attach a potential amendment.

Thanks, pushed.