diff --git a/server-ce/Dockerfile-base b/server-ce/Dockerfile-base index 24bef08a03..d0be929b41 100644 --- a/server-ce/Dockerfile-base +++ b/server-ce/Dockerfile-base @@ -151,6 +151,7 @@ RUN mkdir /install-tl-unx \ --repository ${TEXLIVE_MIRROR} \ latexmk \ texcount \ + synctex \ && rm -rf /install-tl-unx