diff --git a/Dockerfile b/Dockerfile index 34f5d85..8fab799 100644 --- a/Dockerfile +++ b/Dockerfile @@ -15,6 +15,7 @@ RUN apt-get update && \ make \ tidy \ pandoc \ + dvisvgm \ zip \ git \ wget \