From 3f886f06f107c6d3b39395b291b1e0143fe6b94d Mon Sep 17 00:00:00 2001
From: Fabian Posch <fabian@posch.tech>
Date: Sat, 4 Jan 2025 00:09:43 +0100
Subject: [PATCH] add biber tool

---
 fault_injection_async25_paper.code-workspace | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/fault_injection_async25_paper.code-workspace b/fault_injection_async25_paper.code-workspace
index 50566bb..5f692ee 100644
--- a/fault_injection_async25_paper.code-workspace
+++ b/fault_injection_async25_paper.code-workspace
@@ -7,10 +7,11 @@
 	"settings": {
 		"latex-workshop.latex.recipes":[
 		    {
-		        "name": "pdflatex, makeglossaries, pdflatex (2x)",
+		        "name": "pdflatex, makeglossaries, biber, pdflatex (2x)",
 		        "tools": [
 		            "pdflatex",
 		            "makeglossaries",
+					"biber",
 		            "pdflatex",
 		            "pdflatex"
 		        ]
@@ -33,7 +34,14 @@
 		        "args": [
 		          "%DOCFILE%"
 		        ]
-		      }
+		    },
+			{
+				"name": "biber",
+				"command": "biber",
+				"args": [
+					"%DOCFILE%"
+				]
+			}
 		],
 		"editor.wordWrap": "on"
 	}