diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-03-14 12:11:18 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-03-14 12:11:18 +0000 |
| commit | f7ce8940fa0d53718eb30bfc7d0ef9320bafc673 (patch) | |
| tree | a018f006c071e2782baa2e4e86fc28dc57901d49 /src/GF/Shell/HelpFile.hs | |
| parent | 98fcad148e61d5a284d0fe1b095f90eab368d28f (diff) | |
ma -status; sep lines for l -all
Diffstat (limited to 'src/GF/Shell/HelpFile.hs')
| -rw-r--r-- | src/GF/Shell/HelpFile.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Shell/HelpFile.hs b/src/GF/Shell/HelpFile.hs index eebaebd57..a54646710 100644 --- a/src/GF/Shell/HelpFile.hs +++ b/src/GF/Shell/HelpFile.hs @@ -375,6 +375,7 @@ txtHelpFile = "\n the results line by line." ++ "\n options:" ++ "\n -short show analyses in bracketed words, instead of separate lines" ++ + "\n -status show just the work at success, prefixed with \"*\" at failure" ++ "\n flags:" ++ "\n -lang" ++ "\n examples:" ++ |