From 3b2deaecf79de12ab8c456256cfb3dbfe11ba388 Mon Sep 17 00:00:00 2001 From: Henry Oswald Date: Fri, 16 Mar 2018 17:40:10 +0000 Subject: [PATCH] mkdir the /app/bin/synctex-mount --- services/clsi/install_deps.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/services/clsi/install_deps.sh b/services/clsi/install_deps.sh index 20ab946523..76aaf090be 100755 --- a/services/clsi/install_deps.sh +++ b/services/clsi/install_deps.sh @@ -4,5 +4,6 @@ apt-get install poppler-utils vim ghostscript --yes npm rebuild usermod -aG docker app +mkdir /app/bin/synctex-mount cp /app/bin/synctex /app/bin/synctex-mount/synctex