From 3134b8aadae5f5eca0f118bd25e550381b9fbca1 Mon Sep 17 00:00:00 2001
From: Henry Oswald <henry.oswald@sharelatex.com>
Date: Sat, 3 Mar 2018 13:40:29 +0000
Subject: [PATCH] add SYNCTEX_BIN_HOST_PATH for ci

---
 docker-compose-config.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker-compose-config.yml b/docker-compose-config.yml
index 16897c4..6e1fca4 100644
--- a/docker-compose-config.yml
+++ b/docker-compose-config.yml
@@ -21,6 +21,7 @@ services:
       SHARELATEX_CONFIG: /app/config/settings.defaults.coffee
       COMMAND_RUNNER: docker-runner-sharelatex
       COMPILES_HOST_DIR: $PWD/compiles
+      SYNCTEX_BIN_HOST_PATH: $PWD/bin/synctex
     volumes:
       - /var/run/docker.sock:/var/run/docker.sock:rw
       - ./docker-runner:/app/node_modules/docker-runner-sharelatex