[m-rev.] for review: keep the invocation automatically up-to-date

[Julien Fischer]

On Wed, 23 Jul 2025 at 15:54, Peter Wang <novalazy at gmail.com> wrote:

> I can commit the following. Any thoughts about committing the generated file?

There are trade-offs either way. Committing the generated file relies on people
keeping it up-to-date.  While that is easier than having to update
separate copies
of the documentation in options.m and the user guide, I would bet it
would still be
missed every once in while. Generating the file does make the assumption that
when cross-compiling or building the source distribution, the
bootstrap compiler is
up-to-date. For the source distribution builds that always be the
case, the source
distribution is built from the same git commit as the compiler used to build it.
I couldn't say what happens in the cross compilation scenario, but I
would assume
it is usually done with the same version of the compiler?

On balance, I think generating the file rather than committing is preferable.
(The diff looks fine, please commit it.)

Julien.