diff options
| author | hallgren <hallgren@chalmers.se> | 2013-12-06 13:45:12 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-12-06 13:45:12 +0000 |
| commit | d6974a406523335a6244e81902db46d21a22fde1 (patch) | |
| tree | ef5471254fc04abc7def5a6ee239a5c2e5ccfbec /src/compiler/GF/Command | |
| parent | 05854280181f5ad30939a4fc533d42560103d23f (diff) | |
GF shell: fix help text for generate_trees
Trees are not generated with increasing depth.
Diffstat (limited to 'src/compiler/GF/Command')
| -rw-r--r-- | src/compiler/GF/Command/Commands.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index 44d514a2f..cf08499be 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -415,8 +415,8 @@ allCommands = Map.fromList [ longname = "generate_trees", synopsis = "generates a list of trees, by default exhaustive", explanation = unlines [ - "Generates all trees of a given category, with increasing depth.", - "By default, the depth is 4, but this can be changed by a flag.", + "Generates all trees of a given category. By default, ", + "the depth is limited to 4, but this can be changed by a flag.", "If a Tree argument is given, the command completes the Tree with values", "to all metavariables in the tree." ], |