# 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 ##