diff --git a/services/clsi/bin/synctex b/services/clsi/bin/synctex index e793e248bb..89b8cc6988 100755 Binary files a/services/clsi/bin/synctex and b/services/clsi/bin/synctex differ diff --git a/services/clsi/docker-compose-config.yml b/services/clsi/docker-compose-config.yml index 3b780604fe..c8b7dcc274 100644 --- a/services/clsi/docker-compose-config.yml +++ b/services/clsi/docker-compose-config.yml @@ -13,6 +13,7 @@ services: - /var/run/docker.sock:/var/run/docker.sock - ./compiles:/app/compiles - ./cache:/app/cache + - ./bin/synctex:/app/bin/synctex ci: @@ -26,5 +27,6 @@ services: SQLITE_PATH: /app/compiles/db.sqlite volumes: - /var/run/docker.sock:/var/run/docker.sock:rw - - ./cache:/app/cache - ./compiles:/app/compiles + - ./cache:/app/cache + - ./bin/synctex:/app/bin/synctex