[m-rev.] for possible post-commit review: user guide changes, part 1

[Zoltan Somogyi]

On Sun, 3 Aug 2025 03:37:04 +1000, Julien Fischer <jfischer at opturion.com> wrote:


> > +Single-letter flags may be negated
> 
> s/may be/are/
> 
> > +by appending a trailing @samp{-} after the short option name,
> > +as in e.g.@: @samp{-v-}.

They *are* negated that way IF you want to negate them, but you do not have to
negate them. I therefore prefer either the original, or something like this;

If you want to negate a single-letter flag, append a trailing ...

Do you have a preference?

> > +You can also use both tools, each for different parts of the same project,
> > +such as using @command{mmc --make} for the Mercury parts
> > +and @command{mmake} for typing those parts to the non-Mercury parts,
> 
> typing?

tying

I followed all your other suggestions.

Zoltan.