Compare commits

..

No commits in common. "0e364f496d27c2f7cd46bce84c646a9c1284544e" and "f0463071cc1e73eae070464344d02154494d7a44" have entirely different histories.

2 changed files with 1 additions and 2 deletions

View file

@ -2,4 +2,3 @@ docs: make watch-docs-internal
slides: make watch-slides-internal
toc: make watch-tocupdate-internal
autoslide: make watch-autoslide-internal
# proxy: caddy

View file

@ -9,7 +9,7 @@ RUN apt-get update \
# Tools for running the common parts
RUN apt-get update \
&& apt-get install -y --no-install-recommends make build-essential inotify-tools gosu unzip curl rsync \
&& apt-get install -y --no-install-recommends make build-essential inotify-tools gosu unzip curl \
&& apt-get clean \
&& rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/* \
&& truncate -s 0 /var/log/*log