From b2f51e945bc16085ba5a6a919781c632684b540d Mon Sep 17 00:00:00 2001
From: Pierre Raybaut <p.raybaut@codra.fr>
Date: Wed, 25 Oct 2023 18:11:01 +0200
Subject: [PATCH] VSCode package task: doc is no longer required

---
 .vscode/tasks.json | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.vscode/tasks.json b/.vscode/tasks.json
index 51a7306..eab8072 100644
--- a/.vscode/tasks.json
+++ b/.vscode/tasks.json
@@ -260,7 +260,6 @@
             "dependsOrder": "sequence",
             "dependsOn": [
                 "Clean Up",
-                "Build documentation",
             ]
         },
         {