From 6fbfcfc68b0fd48d66ae2fd97da905674662b33d 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

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

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