command option check

2004-05-27 14:43:13 +00:00
parent 244307ca37
commit 6dcf9f1cd4
10 changed files with 202 additions and 65 deletions
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -167,8 +167,8 @@ gt, generate_trees: gt Tree?
      a small -alts is recommended. If a Tree argument is given, the
      command completes the Tree with values to the metavariables in
      the tree.
-  flags:
-      -nometas don't return trees that include metavariables
+  options:
+      -metas   also return trees that include metavariables
  flags:
      -depth   generate to this depth (default 3)
      -alts    take this number of alternatives at each branch (default unlimited)