diff --git a/docs/CommandGuide/index.html b/docs/CommandGuide/index.html index b4d8d662f2b..30d0486f456 100644 --- a/docs/CommandGuide/index.html +++ b/docs/CommandGuide/index.html @@ -48,7 +48,7 @@ options) arguments to the tool you are interested in.
directly run a program compiled to bytecode using a JIT compiler or interpreter -