# HG changeset patch # User wenzelm # Date 1483311396 -3600 # Node ID 01af31db27200290375b7e507a953ef7f8d895d6 # Parent 3224021893c0c8b8d049c2d091c38b63f06e0c9c proper packaging; diff -r 3224021893c0 -r 01af31db2720 src/Tools/VSCode/README.md --- a/src/Tools/VSCode/README.md Sun Jan 01 23:30:18 2017 +0100 +++ b/src/Tools/VSCode/README.md Sun Jan 01 23:56:36 2017 +0100 @@ -25,7 +25,11 @@ ## Build ## -* shell> `cd src/Tools/VSCode/extension; vsce package` +* shell> `cd src/Tools/VSCode/extension` + +* shell> `isabelle vscode_grammar` + +* shell> `vsce package` ## Relevant links ##