Extension uses root directorys package.json.

coq-community · Sep 30, 2019 · d1b093d · d1b093d
1 parent d448f48
commit d1b093d
Show file tree

Hide file tree

Showing 12 changed files with 778 additions and 875 deletions.
diff --git a/.vscode/launch.json b/.vscode/launch.json
@@ -7,7 +7,7 @@
 			"request": "launch",
 			"name": "Launch Client",
 			"runtimeExecutable": "${execPath}",
-			"args": ["--extensionDevelopmentPath=${workspaceRoot}/client"],
+			"args": ["--extensionDevelopmentPath=${workspaceRoot}"],
 			"outFiles": ["${workspaceRoot}/client/out/**/*.js"],
 			"preLaunchTask": {
 				"type": "npm",

diff --git a/.vscodeignore b/.vscodeignore
@@ -1 +1,12 @@
-node_modules/**
+node_modules/**
+.vscode/**
+client/out/test/**
+client/test/**
+client/src/**
+client/server/installServerIntoExtension.cmd
+client/server/installServerIntoExtension
+client/**/*.map
+.gitignore
+client/tsconfig.json
+server/**
+html_views/**
diff --git a/Makefile b/Makefile
@@ -1,5 +1,5 @@
 world: compile
-	cd client && node_modules/.bin/vsce package
+	node_modules/.bin/vsce package
 
 clean:
 	rm -rf node_modules html_views/node_modules server/node_modules client/node_modules

diff --git a/client/.vscodeignore b/client/.vscodeignore
diff --git a/client/CHANGELOG.md b/client/CHANGELOG.md
diff --git a/client/README.md b/client/README.md