diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/gf2.2-highlights.html | 6 |
1 files changed, 6 insertions, 0 deletions
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 <tt>i</tt> command, e.g. Notice that the option <tt>-src</tt> is needed if there already are generated files created with other optimization flags. +<p> +<b>Notice</b>: If you use the +<a href="http://www.cs.chalmers.se/~bringert/gf/gf-java.html"> +Embedded GF Interpreter</a>, only the values <tt>none</tt> and +<tt>share</tt> can be used; the stronger optimizations are not +supported yet. </body> |