From 4179d19200244ef214daff3196a2ce57a81bcde5 Mon Sep 17 00:00:00 2001
From: Henry Oswald <henry.oswald@sharelatex.com>
Date: Fri, 16 Mar 2018 16:50:30 +0000
Subject: [PATCH] move synctex into a directory for simple mounting

---
 services/clsi/.gitignore                |   1 -
 services/clsi/bin/{ => synctex}/synctex | Bin
 2 files changed, 1 deletion(-)
 rename services/clsi/bin/{ => synctex}/synctex (100%)

diff --git a/services/clsi/.gitignore b/services/clsi/.gitignore
index 476f2d1feb..21c1ecae1f 100644
--- a/services/clsi/.gitignore
+++ b/services/clsi/.gitignore
@@ -13,5 +13,4 @@ cache
 .vagrant
 db.sqlite
 config/*
-bin/synctex
 npm-debug.log
diff --git a/services/clsi/bin/synctex b/services/clsi/bin/synctex/synctex
similarity index 100%
rename from services/clsi/bin/synctex
rename to services/clsi/bin/synctex/synctex