New review comment by cinerea0 on void-packages repository

https://github.com/void-linux/void-packages/pull/29342#discussion_r600833565

Comment:
According to discussion in the link above, it seems like their test process grows exponentially more complex the more options are added, and a hypothetical `-Dman` option might not get tested at all. If we really don't want to ship the developments docs, would it be better to build it and simply remove the directory in a post-install step?