From dc291fd4fd2d4a0a35521290e7fe0df2b57d6d68 Mon Sep 17 00:00:00 2001 From: trnq1ll0 Date: Thu, 6 Aug 2026 07:58:20 +0200 Subject: [PATCH] beim speichern, alle Dateien neu erzeugen (auch das kombinierte Dokument) --- .vscode/settings.json | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/.vscode/settings.json b/.vscode/settings.json index c813685..4aa9e8d 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -2,21 +2,23 @@ "chat.byokUtilityModelDefault": "mainAgent", "latex-workshop.latex.tools": [ { - "name": "make", + "name": "make all", "command": "make", - "args": [], + "args": [ + "all" + ], "cwd": "%WORKSPACE_FOLDER%" } ], "latex-workshop.latex.recipes": [ { - "name": "make", + "name": "make all", "tools": [ - "make" + "make all" ] } ], - "latex-workshop.latex.recipe.default": "make", + "latex-workshop.latex.recipe.default": "make all", "latex-workshop.latex.build.enableMagicComments": true, "latex-workshop.latex.autoBuild.run": "onSave", "latex-workshop.latex.outDir": "%WORKSPACE_FOLDER%"