diff --git a/src/www/minibar/about.html b/src/www/minibar/about.html index 87df72e00..4880a20a3 100644 --- a/src/www/minibar/about.html +++ b/src/www/minibar/about.html @@ -243,12 +243,22 @@ Some implementation details: the minibar. The rest of the documentation is displayed when you press the More info button (or the i button). The documentation can contain HTML markup. Blank lines are treated as paragraph breaks. +
+ A preferred list of grammars can be specified in config.js
+ in the …/minibar directory on the server, e.g. like this:
+
preferred_grammars=["/grammars/Foods.pgf","/grammars/ResourceDemo.pgf"]+ The first available grammar from the list is used.