Hi Arsen! Thanks for caring about the documentation infrastructure!
On 2023-02-23T11:27:09+0100, Arsen Arsenović via Gcc-patches <gcc-patches@gcc.gnu.org> wrote: > The commit "docs: Reorder @opindex to be before corresponding options" > https://gcc.gnu.org/pipermail/gcc-patches/2023-February/612616.html > His idea of automatically checking for this error pattern will be > implemented separately, after I figure out how best to do that. The > code that was involved in making this patchset is too primitive to > apply globally. But please don't spend too much time on that idea, if that turns out to require non-trivial Texinfo parsing. Given that you've now fixed up the existing disordered instances, I suppose not many new ones are going be introduced, assuming that people extend the documentation by looking at the existing, now-good context. Grüße Thomas ----------------- Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 80634 München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: Thomas Heurung, Frank Thürauf; Sitz der Gesellschaft: München; Registergericht München, HRB 106955
