diff --git a/init.lua b/init.lua index ced3256..dadf85f 100644 --- a/init.lua +++ b/init.lua @@ -471,19 +471,17 @@ local servers = { }, texlab = { - settings = { - build = { - executable = "tectonic", - args = { - "-X", - "compile", - "%f", - "--syntex", - "--keep-logs", - "--keep-intermediates" - } - } - } + -- build = { + -- executable = "tectonic", + -- args = { + -- "-X", + -- "compile", + -- "%f", + -- "--synctex", + -- "--keep-logs", + -- "--keep-intermediates" + -- } + -- } }, -- Require vscode-langservers-extracted