diff --git a/doc/gf2.2-highlights.html b/doc/gf2.2-highlights.html index d76a6080b..7a1229cb1 100644 --- a/doc/gf2.2-highlights.html +++ b/doc/gf2.2-highlights.html @@ -81,7 +81,13 @@ in the i command, e.g. Notice that the option -src is needed if there already are generated files created with other optimization flags. +
+Notice: If you use the + +Embedded GF Interpreter, only the values none and +share can be used; the stronger optimizations are not +supported yet.