bug#67159: Flymake manual typos

[João Távora]

On Tue, Nov 14, 2023 at 7:41 AM Alfie John via Bug reports for GNU
Emacs, the Swiss army knife of text editors <bug-gnu-emacs@gnu.org>
wrote:
>
> Hi,
>
> Here's a few minor changes to the FlyMake manual I believe should be made:
>
>         - These commands may affect more than one visited file belong to the 
> project.
>         + These commands may affect more than one visited file belonging to 
> the project.

Good.

>         - If there are, you the choice to execute
>         + If there are, you then choice to execute

Still wrong.  Should be "you then choose"

>         - Ask Flymake system to display diagnostics
>         + Ask Flymake to display diagnostics

No, "Flymake" is already understood to be "the Flymake system".

But thanks anyway, I make lots of these small mistakes,
sorry for that.

João