[m-dev.] timetable for deleting the parts of options.m that are being replaced

[Julien Fischer]

On Sat, 21 Jun 2025 at 18:41, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> Unless you guys request otherwise, I intend to delete the parts of options.m
> that are not needed in the new system in about 48 hours. I want to do this
> because rearranging the order of optdb clauses to match the chapter structure
> in print_help.m would be significantly harder to do if I have to constantly
> step around optdef clauses, which are scheduled to be deleted soon anyway.

No objections from me.

Julien.