[m-rev.] for post-commit review: make --output-compiler-error-lines a maybe_int option

[Peter Wang]

On Sun, 06 Aug 2023 02:58:43 +1000 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> diff --git a/doc/user_guide.texi b/doc/user_guide.texi
> index 445b01e51..3269b34ef 100644
> --- a/doc/user_guide.texi
> +++ b/doc/user_guide.texi
> @@ -7103,10 +7103,12 @@ not just the first.  Implies @samp{--verbose-recompilation}.
>  
>  @sp 1
>  @item --output-compile-error-lines @var{n}
> + at item --no-output-compile-error-lines
>  @findex --output-compile-error-lines
>  @findex --make
>  With @samp{--make}, output the first @var{n} lines of the @samp{.err}
>  file after compiling a module (default: 15).
> +Specifying --no-output-compile-error-lines removes the limit.

--no-output-compile-error-lines sounds like the opposite of what it
does, but that's okay.

Peter