Update doc build to correctly get version#15540

Merged

svekars merged 11 commits intomainfrom

fix-doc-build-version-theme

Nov 6, 2025

Commits on Nov 3, 2025

Update doc build to correctly get version
svekars
committed

Commits on Nov 4, 2025

Update
svekars
committed

Commits on Nov 6, 2025