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