Dockerfile
. We need a new Dockerfile.update
which basically does:ARG image
FROM $image
RUN tlmgr update --self --all --reinstall-previously-removed
tree
images but get historical schemes.
texdoc.org
if the user has no documentation locally installed. This is a fairy popular program, so I just want to make sure that you think that the server can handle the load.