diff options
Diffstat (limited to 'src/GF/Shell/HelpFile.hs')
| -rw-r--r-- | src/GF/Shell/HelpFile.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Shell/HelpFile.hs b/src/GF/Shell/HelpFile.hs index ca795d01c..7c9133417 100644 --- a/src/GF/Shell/HelpFile.hs +++ b/src/GF/Shell/HelpFile.hs @@ -252,7 +252,8 @@ txtHelpFile = "\n options:" ++ "\n -assocs show all string-trees associations in the treebank" ++ "\n -strings show all strings in the treebank" ++ - "\n -raw return result as string, without typechecking it" ++ + "\n -trees show all trees in the treebank" ++ + "\n -raw return the lookup result as string, without typechecking it" ++ "\n flags:" ++ "\n -treebank use this treebank (instead of the latest introduced one)" ++ "\n examples:" ++ |