frontend/latex: fix TOC issue and safeguard sync-doc itself#8701
Merged
haraldschilly merged 1 commit intomasterfrom Jan 16, 2026
Merged
frontend/latex: fix TOC issue and safeguard sync-doc itself#8701haraldschilly merged 1 commit intomasterfrom
haraldschilly merged 1 commit intomasterfrom