diff -r 00f3c4bef2e0 -r 20174e871623 src/Tools/VSCode/README.md
--- a/src/Tools/VSCode/README.md	Sun Jan 01 12:20:51 2017 +0100
+++ b/src/Tools/VSCode/README.md	Sun Jan 01 13:15:50 2017 +0100
@@ -6,8 +6,6 @@
 
 ## Run ##
 
-* shell> `isabelle build -b HOL`
-
 * Extensions: search "Isabelle 0.1.0", click "Install"
 
 * Preferences / User settings / edit settings.json: e.g.