Merge pull request #4893 from overleaf/em-synctex

Use the synctex distributed with TeX Live

GitOrigin-RevId: 5a133f21f48fd1e217ab463e8cb2a5cdec8be1af
This commit is contained in:
Eric Mc Sween
2021-09-07 08:57:47 -04:00
committed by Copybot
parent fa2567aa61
commit 9ee92daea3
27 changed files with 380 additions and 5667 deletions

View File

@@ -26,11 +26,6 @@ RUN node genScript install | bash
# --------------------
RUN node genScript compile | bash
# Links CLSI synctex to its default location
# ------------------------------------------
RUN ln -s /var/www/sharelatex/clsi/bin/synctex /opt/synctex
# Copy runit service startup scripts to its location
# --------------------------------------------------
ADD server-ce/runit /etc/service