diff --git a/Makefile b/Makefile index 21672f96e..5008443b1 100644 --- a/Makefile +++ b/Makefile @@ -178,5 +178,5 @@ publish-vscode-extension: ifeq ($(shell vsce show --json deducteam.lambdapi | jq '.versions[0]' | jq '.version'), $(shell cat editors/vscode/package.json | jq '.version')) echo "extension already exists. Skip" else - make && vsce publish -p ${PAT} + cd editors/vscode && make && vsce publish -p ${PAT} endif \ No newline at end of file