From 04c0a7d570ac65011c8282323e4ed004d45a98d8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 7 Nov 2023 12:57:28 +0100
Subject: [PATCH] add publishing script to package.json

---
 package.json | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/package.json b/package.json
index b2d265b..9a1fa38 100644
--- a/package.json
+++ b/package.json
@@ -58,9 +58,12 @@
 		"type": "git",
 		"url": "https://github.com/LPCIC/coq-elpi-lang.git"
 	},
+	"scripts": {
+		"deploy": "vsce publish"
+	},
 	"__metadata": {
 		"id": "f110bf02-4c98-48f1-9c82-967ca47fdbd9",
 		"publisherDisplayName": "Enrico Tassi",
 		"publisherId": "a31c90d1-39d0-4553-b020-dd47cff7daf8"
 	}
-}
\ No newline at end of file
+}