From 4b22c68a7c7ca8c6d065feaf959ffcad90bf4e2b Mon Sep 17 00:00:00 2001 From: Lilou Date: Mon, 28 Jul 2025 20:00:01 +0200 Subject: [PATCH] =?UTF-8?q?Update=20settings=20from=20,=20profile=20=C2=AB?= =?UTF-8?q?=20main=20=C2=BB?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- profiles/main/data/settings.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/profiles/main/data/settings.json b/profiles/main/data/settings.json index 02df94a..e85632b 100644 --- a/profiles/main/data/settings.json +++ b/profiles/main/data/settings.json @@ -31,6 +31,7 @@ "latex-workshop.latex.outDir": "%WORKSPACE_FOLDER%/build/", "latex-workshop.view.pdf.viewer": "tab", "latex-workshop.latex.recipes": [ + { "name": "tectonic", "tools": ["tectonic"] @@ -40,7 +41,7 @@ { "name": "tectonic", "command": "tectonic", - "args": ["-X", "build", "--keep-intermediates"], + "args": ["%DOC_EXT%"], "env": {} } ],