search

metanorma / metanorma-docker

Docker container for running the Metanorma toolchain
https://www.metanorma.com
5 stars 3 forks source link

Simplify Docker build process #111

Closed ronaldtse closed 3 years ago

ronaldtse commented 3 years ago

Fixes #110.