proper packaging;
authorwenzelm
Sun Jan 01 23:56:36 2017 +0100 (2017-01-01)
changeset 6474001af31db2720
parent 64739 3224021893c0
child 64741 17bd2947a822
proper packaging;
src/Tools/VSCode/README.md
     1.1 --- a/src/Tools/VSCode/README.md	Sun Jan 01 23:30:18 2017 +0100
     1.2 +++ b/src/Tools/VSCode/README.md	Sun Jan 01 23:56:36 2017 +0100
     1.3 @@ -25,7 +25,11 @@
     1.4  
     1.5  ## Build ##
     1.6  
     1.7 -* shell> `cd src/Tools/VSCode/extension; vsce package`
     1.8 +* shell> `cd src/Tools/VSCode/extension`
     1.9 +
    1.10 +* shell> `isabelle vscode_grammar`
    1.11 +
    1.12 +* shell> `vsce package`
    1.13  
    1.14  
    1.15  ## Relevant links ##