I think that would be a perfect solution for the windows cross build. Fritz
> Am 19.11.2020 um 10:35 schrieb John Darrington <j...@darrington.wattle.id.au>: > > One thing we could do, is add a configure flag --without-documentation so > that the person building can choose not generate any documents. >
