for those like me, who couldn't build the documentation : ``` docker run --rm -it -v $(pwd):/home philipptempel/docker-ubuntu-tug-texlive ``` maybe I am dreaming, but it would be great if we could use this in a…
for those like me, who couldn't build the documentation : ``` docker run --rm -it -v $(pwd):/home philipptempel/docker-ubuntu-tug-texlive ``` maybe I am dreaming, but it would be great if we could use this in a…