src/Tools/VSCode/src/grammar.scala

 
 
   /* Isabelle tool wrapper */
 
   val isabelle_tool = Isabelle_Tool("vscode_grammar",
-    "generate static TextMate grammar for VSCode editor", args =>
+    "generate static TextMate grammar for VSCode editor", Scala_Project.here, args =>
   {
     var dirs: List[Path] = Nil
     var logic = default_logic
     var output: Option[Path] = None