mason: remove tectonic configuration for build

Co-Authored-by: iGor milhit <igor@milhit.ch>
iGor milhit 2024-01-30 14:50:12 +01:00
parent 93419a2f6d
commit 36a5e806a4
Signed by: igor
GPG Key ID: 692D97C3D0228A99
1 changed files with 11 additions and 13 deletions

View File

@ -471,19 +471,17 @@ local servers = {
}, },
texlab = { texlab = {
settings = { -- build = {
build = { -- executable = "tectonic",
executable = "tectonic", -- args = {
args = { -- "-X",
"-X", -- "compile",
"compile", -- "%f",
"%f", -- "--synctex",
"--syntex", -- "--keep-logs",
"--keep-logs", -- "--keep-intermediates"
"--keep-intermediates" -- }
} -- }
}
}
}, },
-- Require vscode-langservers-extracted -- Require vscode-langservers-extracted