New review comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/25313#discussion_r499146394

Comment:
Huh. Since they recommend against building docs, I'd expect their builds to not fail without the docs program. Oh well.