diff --git a/docs/manual/OptionalTasks/antlr.html b/docs/manual/OptionalTasks/antlr.html index ad3b2d777..91814de0d 100644 --- a/docs/manual/OptionalTasks/antlr.html +++ b/docs/manual/OptionalTasks/antlr.html @@ -45,15 +45,15 @@
If fork is enabled, additional parameters may be passed to the new +
Additional parameters may be passed to the new
VM via nested <jvmarg>
attributes, for example:
-<antlr fork="yes" target=...> +<antlr target=...> <jvmarg value="-Djava.compiler=NONE"/> ... </antlr>