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 +}