New review comment by sgn on void-packages repository https://github.com/void-linux/void-packages/pull/29342#discussion_r598046537 Comment: This patch is needed when `-Ddocs=true`, either remove it or enable documentation. I think it's better to have docs on. Note that `-Ddocs=true` depends on `-Dintrospection=true`.