[m-rev.] for review: proposed reclassification of options

[Julien Fischer]

On Tue, 3 Jun 2025 at 19:39, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> On Tue, 3 Jun 2025 19:06:55 +1000, Julien Fischer <jfischer at opturion.com> wrote:
>
> > On Tue, 3 Jun 2025 at 18:47, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
> >
> > >
> > > > The cross_compiling option no longer does anything and is no longer documented.
> > > > Depending on when it was undocumented, it can probably be removed.
> > >
> > > What is the dependence?
> >
> > If it was removed recently, we may want to keep it about for a bit in order to
> > prevent breaking existing Mmakefile / options files (if there are any
> > that use it).
>
> Commit a65336fad2697cd2650a8e7d29fff8e2a8c33f7d by Peter
> commented out the help text of --cross-compiling in options.m.
> As far as I can tell, that help text was never included in user_guide.texi
> in the first place.
>
> Since commit a65336fad2697cd2650a8e7d29fff8e2a8c33f7d was in 2015 march,
> I think it is ready to be removed. Agreed?

If it was that long ago, then yes, it should be removed.

Julien.