@pantoniou @ingydotnet
pantoniou and ingydotnet Add a docker-data target generating data using a docker container
44e068d Nov 17, 2020
Add a docker-data target generating data using a docker container 
It's usually tricky to setup things to build, so use a docker
container to generate the data/ directory.
44e068d