build: Do not install manpages on Android, always use gnuinstalldirs unless we do our own thing, fixing install.#573
Merged
rpavlik merged 3 commits intoKhronosGroup:mainfrom Jan 9, 2026
Commits
Commits on Jan 8, 2026
Commits on Jan 9, 2026
- committed