add publishing script to package.json

LPCIC · Nov 7, 2023 · 04c0a7d · 04c0a7d
1 parent ff9b490
commit 04c0a7d
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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"
 	}
-}
+}