[misc] goodbye grunt

This commit is contained in:
Jakob Ackermann
2021-07-12 17:24:29 +01:00
parent 9631208615
commit ac1eb8fb50
13 changed files with 114 additions and 3708 deletions

View File

@@ -35,12 +35,6 @@ RUN apt-get update \
ADD ./vendor/envsubst /usr/bin/envsubst
RUN chmod +x /usr/bin/envsubst
# Install Grunt
# ------------
RUN npm install -g \
grunt-cli \
&& rm -rf /root/.npm
# Install TexLive
# ---------------
# CTAN mirrors occasionally fail, in that case install TexLive against an