From 6322e5c001bea638dab326b17cb8be4e5f582da4 Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Tue, 21 May 2024 11:43:00 +0200
Subject: [PATCH] VScode: add LICENSE.txt before publication

---
 .github/workflows/release.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index c0491102..2eb9f1e1 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -13,6 +13,6 @@ jobs:
         uses: actions/checkout@v4
       - name: Publish VS Code extension
         working-directory: syntax_highlighting/vscode
-        run: npx vsce publish
+        run: ln -s ../../LICENSE.txt . && npx vsce publish
         env:
           VSCE_PAT: ${{ secrets.VSCE_PAT }}