Commit 7ab42f9af3f18ee1a99b67c71a4914c23419edec

Khaled Hosny 2025-03-27T21:25:13

[util] Build man pages only if docs are enabled