From c9d10ab5ed8b82ba0f74a25ca30103ccf0985e6d Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 30 Apr 2004 11:28:35 +0000
Subject: random gen to fill given term

---
 src/HelpFile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/HelpFile')

diff --git a/src/HelpFile b/src/HelpFile
index 0f7db045b..f1e4eb1fb 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -152,8 +152,10 @@ t,  translate: t Lang Lang String
       -lexer
       -parser
 
-gr, generate_random: gr
-      Generates a random Tree.
+gr, generate_random: gr Tree?
+      Generates a random Tree of a given category. If a Tree
+      argument is given, the command completes the Tree with values to
+      the metavariables in the tree. 
   flags:
       -cat     generate in this category
       -lang    use the abstract syntax of this grammar
-- 
cgit v1.2.3