From 052b5624d357d222fed0abb8f5e7681427632963 Mon Sep 17 00:00:00 2001
From: Henry Oswald <henry.oswald@sharelatex.com>
Date: Wed, 11 Mar 2020 11:06:46 +0000
Subject: [PATCH] copy synctex over to /app/bin/synctex-mount in entrypoint

---
 services/clsi/entrypoint.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/services/clsi/entrypoint.sh b/services/clsi/entrypoint.sh
index 15a41db949..07d902acc2 100755
--- a/services/clsi/entrypoint.sh
+++ b/services/clsi/entrypoint.sh
@@ -21,4 +21,6 @@ chown -R node:node /app
 
 chown -R node:node /app/bin
 
+cp /app/bin/synctex /app/bin/synctex-mount/synctex
+
 exec runuser -u node -- "$@"