On Wed, 2026-07-22 at 09:12 +0200, Andreas Schwab wrote: > On Jul 21 2026, Oleg Endo wrote: > > > Why is this needed and why is this not done automatically? > > It is done automatically by make regenerate-opt-urls.
That's true. But why is this not ran automatically whenever the .opt file is touched? Why does it require a manual invocation if both files seemingly have to be kept in sync anyways? Best regards, Oleg Endo
