[doc] Don’t skip building on Windows We don’t enable building docs by default, so if one asked explicitly for it we shouldn’t be overriding that.
2022-12-20T18:41:01