Fix the building process to drop documentation for disabled features
jan-kolarik opened this issue · 0 comments
jan-kolarik commented
This is a follow-up to #398.
In situations when an optional feature is not being built, we should also drop the related documentation.