src/Tools/VSCode/README.md

--- a/src/Tools/VSCode/README.md	Wed Mar 09 16:52:32 2022 +0100
+++ b/src/Tools/VSCode/README.md	Wed Mar 09 16:58:26 2022 +0100
@@ -19,7 +19,7 @@
 
 * Shell commands within $ISABELLE_HOME directory:
 
-    isabelle build_vscode -U
+    isabelle build_vscode_extension -U
     isabelle vscode src/Tools/VSCode/extension
 
 * VSCode commands:
@@ -29,4 +29,4 @@
 
 ## Build and install ##
 
-    isabelle build_vscode -I
+    isabelle build_vscode_extension -I